ICCAD '92 Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design
The Semantics of Verilog Using Transition System Combinators
FMCAD '00 Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design
A formal approach for the development of reactive systems
Information and Software Technology
Combining formal methods for the development of reactive systems
International Journal of Computer Applications in Technology
Combining Formal Methods for the Development of Reactive Systems
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
| Hi-index | 0.00 |