[ Back to Record ]

  1. Bib ID# 39335
    ISBN: 9783642145094
    UPC: 10.1007/978-3-642-14509-4
    Title: Logical Analysis of Hybrid SystemsProving Theorems for Complex Dynamics /
    Author: Platzer, André.
    Publication Info:
    Item Type: Language material

[ Back to Record ]