Special Issue on Specification Analysis and Verification of Reactive Systems, Journal of Theory and Practice of Logic Programming (TPLP), 6(3) / G. Delzanno; S. Etalle; M. Gabbrielli.. - STAMPA. - (2006).
Special Issue on Specification Analysis and Verification of Reactive Systems, Journal of Theory and Practice of Logic Programming (TPLP), 6(3).
GABBRIELLI, MAURIZIO
2006
File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.