Skip navigation
Skip navigation

Diagnosis of Hybrid Systems with SMT: Opportunities and Challenges

CollectionsANU Research Publications
Date published: 2014
Type: Conference paper
Source: ECAI 2014
DOI: 10.3233/978-1-61499-419-0-405


File Description SizeFormat Image
01_Grastien_Diagnosis_of_Hybrid_Systems_2014.pdf199.85 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator