Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

    
TitleReal world verification.
Author(s) Andre Platzer, Jan-David Quesel, Philipp
TypeBook, Chapter in Book, Conference Proceeding
Abstract
KeywordsReal-closed fields, decision procedures, hybrid systems
ISBN978-3-642-02958-5/pbk
URL http://link.springer.com/chapter/10.1007%2F978-3-642-02959-2_35
LanguageEnglish
Pages485--501
PublisherBerlin: Springer
Year2009
Edition0
Translation No
Refereed No
Webmaster