Efficient Model checking of properties of a distribuited application: a multimedia case study / Mazzocca, Nicola; Santone, A; Vaglini, G; Vittorini, V.. - In: SOFTWARE TESTING VERIFICATION & RELIABILITY. - ISSN 0960-0833. - (2002).
Efficient Model checking of properties of a distribuited application: a multimedia case study
MAZZOCCA, NICOLA;VITTORINI V.
2002
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.