Rice University, Houston, TX 77005, USA;
Rice University, Houston, TX 77005, USA;
Rice University, Houston, TX 77005, USA;
机译:确定性自动机对自动验证自动机的优化模拟
机译:通过矩阵的半张量积进行自我验证自动机的验证分析
机译:Single-Bit Comparator in Quantum-Dot Cellular Automata (QCA) Technology Using Novel QCAXNOR Gates
机译:定量验证中的比较器自动机
机译:量子点元胞自动机中的64位高效二进制比较器。
机译:使用增强的堆栈自动机模型的Web服务组合的验证策略
机译:对定时自动机验证的贡献(自动机网络中的确定,定量验证和可达性)