Compositional validation of time-critical systems using Communicating Petri Nets / G. BUCCI; E. VICARIO. - In: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. - ISSN 0098-5589. - STAMPA. - 21:(1995), pp. 969-992.
Compositional validation of time-critical systems using Communicating Petri Nets
BUCCI, GIACOMO;VICARIO, ENRICO
1995
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.