[ Back to Record ]

  1. Bib ID# 15341
    ISBN: 9781441902245
    UPC: 10.1007/978-1-4419-0224-5
    Title: Verification and Control of Hybrid SystemsA Symbolic Approach /
    Author: Tabuada, Paulo.
    Publication Info:
    Item Type: Language material

[ Back to Record ]