Modular 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.
Autori interni: | |
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.