Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe.
Automatic Verification of a Hydroelectric Power Plant / R. PUGLIESE; E. TRONCI. - STAMPA. - (1996), pp. 425-444. [10.1007/3-540-60973-3_100]
Automatic Verification of a Hydroelectric Power Plant
PUGLIESE, ROSARIO;
1996
Abstract
Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe.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.