Technical University of Denmark;
Technical University of Denmark;
Technical University of Denmark;
Static analysis; model checking; abstract interpretation;
机译:包含逻辑和定点逻辑
机译:用于三维数据存储和逻辑的多层的系统逐层表征
机译:双层片剂的配方开发和评估:舒马普坦琥珀酸盐和萘普生钠作为速释层的固定剂量组合,舒马普坦琥珀酸盐作为延迟释放层的固定剂量组合
机译:分层固定点逻辑
机译:定点逻辑,描述性复杂度和随机可满足性。
机译:具有有机和无机混合钝化层的化学组装单电子晶体管上的三输入门逻辑电路
机译:分层定点逻辑