00917nmm a2200253 i 4500991000525109707536cr nn 008mamaa090611s2009 us j eng d9781441902245b13870282-39ule_instDip.to MatematicaengTabuada, Paulo472360Verification and control of hybrid systems[e-book] :A symbolic approach /by Paulo TabuadaBoston, MA :Springer,2009v.: digitalComputer scienceSystems theorySpringer eBookshttp://dx.doi.org/10.1007/978-1-4419-0224-5An electronic book accessible through the World Wide Web.b1387028203-03-2214-01-10991000525109707536Verification and control of hybrid systems230235UNISALENTOle01314-01-10m@ -engus 00