Author:
Moalla M.,Pulou J.,Sifakis J.
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. P.AZEMA, R.VALETTE, M.DIAZ: "Petri nets as a common tool for the design verification and hardware simulation", 13th Design Automation Conference, Palo Alto, June 1976.
2. M.MOALLA, G.SAUCIER, J.SIFAKIS, M.ZACHARIADES: "A Design Tool for the Multilevel Description and Simulation of Systems of Interconnected Modules", 3rd Annual Symp. on Comp. Architecture, Tampa, Fla., January 1976.
3. R. VALETTE: "Sur la Description, l'Analyse et la Validation des Systèmes de Commande Parallèles", Thèse d'Etat, Univ. Paul Sabatier, Toulouse, Nov. 1976.
4. C.ANDRE: "Sur une méthode de conception assistée par ordinateur des systèmes logiques à évolutions simultanées", Thèse de spécialité, Nice, Juin 1975.
5. J.L. BAER, D.P. BOUET, G. ESTRIN: "Legality and Other Properties of Graph Models of Computations", Journal of ACM, Vol. 17, July 1970, pp. 543–554.
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献