Items where Author is "Franzen, Anders"
 | Up a level |
Group by: Item Type | No Grouping
Number of items: 2.
Ali, Raian and Franzen, Anders and Griggio, Alberto and Giorgini, Paolo (2009) Modeling and Analyzing Contextual Requirements. UNSPECIFIED. (Unpublished)
Bruttomesso, Roberto and Cimatti, Alessandro and Franzen, Anders and Griggio, Alberto and Sebastiani, Roberto (2008) Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. UNSPECIFIED. (Submitted)
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