Verification of External Specifications of Reactive Systems / P. Nesi; M. A. Bruno; P. Nesi. - ELETTRONICO. - (2000), pp. 692-709. (Intervento presentato al convegno IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS).
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.