Items where Author is "Tonetta, Stefano"
 | Up a level |
Group by: Item Type | No Grouping
Number of items: 3.
Sebastiani, Roberto and Singerman, Eli and Tonetta, Stefano and Y. Vardi, Moshe (2004) GSTE is Partitioned Model Checking. UNSPECIFIED.
Sebastiani, Roberto and Tonetta, Stefano (2003) "More Deterministic" vs. "Smaller" Buechi Automata for Efficient LTL Model Checking. UNSPECIFIED. (Unpublished)
Sebastiani, Roberto and Tonetta, Stefano (2003) "More Deterministic" vs. "Smaller" Buechi Automata for Efficient LTL Model Checking. UNSPECIFIED. (Unpublished)
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