Applied Formal Methods - Current Trends in Applied Formal Method (FM-Trends 98).
A Symbolic Model Checker for ACTL / A. Fantechi; S. Gnesi; F. Mazzanti; R. Pugliese; E. Tronci. - STAMPA. - (1998), pp. 228-242. [10.1007/3-540-48257-1_14]
A Symbolic Model Checker for ACTL
FANTECHI, ALESSANDRO;PUGLIESE, ROSARIO;
1998
Abstract
Applied Formal Methods - Current Trends in Applied Formal Method (FM-Trends 98).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.