Petrify: a tool for manipulation concurrent specifications and synthesis of asynchronous controllers

• Autores: Jordi Cortadella Fortuny , Michael Kishinevsky, Alex Kondratyev
• Localización: IEICE transactions on information and systems, ISSN 0916-8532, Vol. 80, Nº. 3, 1997, págs. 315-325
• Idioma: inglés
• Texto completo no disponible (Saber más ...)