Masahiro Fujita, Hidehiko Tanaka, Tohru Moto-Oka. Specifying Hardware in temporal Logic & Efficient Synthesis of State-Diagrams Using Prolog. In FGCS. pages 572-581, 1984.
No references recorded for this publication.
No citations of this publication recorded.