G. Delzanno, S. Etalle, M. Gabbrielli. (2006). Special Issue on Specification Analysis and Verification of Reactive Systems, Journal of Theory and Practice of Logic Programming (TPLP), 6(3).. CAMBRIDGE : Cambridge University Press.
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.