EnglishModular verification of correctness properties in an environment for concurrent systems specifications: the deadlock case / DE FRANCESCO N.; VAGLINI G. - In: INFORMATION AND SOFTWARE TECHNOLOGY. - ISSN 0950-5849. - 32:1(1990), pp. 133-148.
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11568/9921| Autori interni: | DE FRANCESCO, NICOLETTA VAGLINI, GIGLIOLA |
| Autori: | DE FRANCESCO N.; VAGLINI G |
| Titolo: | Modular verification of correctness properties in an environment for concurrent systems specifications: the deadlock case |
| Anno del prodotto: | 1990 |
| Digital Object Identifier (DOI): | 10.1016/0950-5849(90)90113-6 |
| Appare nelle tipologie: | 1.1 Articolo in rivista |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2017