Home
Esportazione
Statistica
Opzioni
Visualizza tutti i metadati (visione tecnica)
Tolque: A Tool for Algorithmic Algebraic Model Checking
CASAGRANDE A
•
MYSORE V
•
MISHRA B.
•
PIAZZA, Carla
2006
other
Archivio
http://hdl.handle.net/11390/692835
Diritti
metadata only access
Visualizzazioni
5
Data di acquisizione
Apr 19, 2024
Vedi dettagli
google-scholar
Vedi dettagli