Items where Author is "Le, Thi Thieu Hoa"
 | Up a level |
Group by: Item Type | No Grouping
Jump to: Departmental Technical Report
Number of items: 2.
Departmental Technical Report
Le, Thi Thieu Hoa and Fahrenberg, Uli and Legay, Axel and Passerone, Roberto (2012) An Operational Contract Framework for Heterogeneous Systems. Trento : University of Trento. (Unpublished)
Le, Thi Thieu Hoa (2010) A Novel Technique for Computing Craig Interpolants in Satisfiabilility Modulo the Theory of Integer Linear Arithmetic. 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