Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Computational Theory and Mathematics,Hardware and Architecture,Theoretical Computer Science,Software
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Semantics and verification of action diagrams with linear timing;ACM Transactions on Design Automation of Electronic Systems;1998-01
2. Conjoining specifications;ACM Transactions on Programming Languages and Systems;1995-05
3. Automating the design of asynchronous sequential logic circuits;IEEE Journal of Solid-State Circuits;1991-03
4. Synthesis of Self-Timed Circuits;The Kluwer International Series in Engineering and Computer Science;1991
5. The control of discrete event systems;Proceedings of the IEEE;1989