Verification of External Specifications of Reactive Systems / P. Nesi, M. A. Bruno, P. Nesi. - ELETTRONICO. - (2000), pp. 692-709. (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.



