Formally Verifying Fault Tolerant System Designs / C. BERNARDESCHI; A. FANTECHI; L. SIMONCINI. - In: COMPUTER JOURNAL. - ISSN 0010-4620. - STAMPA. - 43:(2000), pp. 191-205.
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.