Salvatore LA TORRE | Pubblicazioni
Salvatore LA TORRE Pubblicazioni
| 2008 | |
| Articolo in rivista | |
| Verification of well-formed Communicating Recursive State Machines THEORETICAL COMPUTER SCIENCE. Vol. 403 (2-3). Pag.382-405 ISSN:0304-3975. | |
| LA TORRE, Salvatore; L., Bozzelli; A., Peron | |
| Codice identificativo ISI: WOS:000259044800014 Codice identificativo SCOPUS: 2-s2.0-48449099517 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2008 | |
| Articolo in rivista | |
| Verification of Scope-dependent Hierarchical State Machines INFORMATION AND COMPUTATION. Vol. 206. Pag.1161-1177 ISSN:0890-5401. | |
| LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico; Parlato, Gennaro | |
| Digital Object Identifier (DOI): 10.1016/j.ic.2008.03.017 Codice identificativo ISI: WOS:000259251400015 Codice identificativo SCOPUS: 2-s2.0-50149099553 | |
| Visualizza sul Database dei Prodotti (IRIS) |
