Aggiornamento Repository Istituzionale e dismissione di PORTO.

Pubblicazioni il cui periodico è "IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS"

Livello precedente
Esporta come [feed] Atom [feed] DataCiteXML [feed] RSS 1.0 [feed] RSS 2.0
Numero di pubblicazioni : 1.

Articolo di rivista J. Cortadella; M. Kishinevsky; Lavagno L.; A. Yakovlev (1997)
Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers. In: IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, vol. E80-D(3). - ISSN 0916-8532
Web of Science: 247 - Scopus: 285

Questa lista è stata generata il Fri Jan 19 07:56:36 2018 CET.