Items where Author is "Y. Vardi, Moshe"
 | Up a level |
Group by: Item Type | No Grouping
Jump to: Departmental Technical Report
Number of items: 1.
Departmental Technical Report
Sebastiani, Roberto and Singerman, Eli and Tonetta, Stefano and Y. Vardi, Moshe (2004) GSTE is Partitioned Model Checking. UNSPECIFIED.
Unitn-eprints Research supports Open Archives Protocol for Metadata Harvesting OAI 2.0
with a base URL of http://eprints.biblio.unitn.it/cgi/oai2
Contact and information