%0 Conference Paper %1 conf/hybrid/ChutinanK99 %A Chutinan, Alongkrit %A Krogh, Bruce H. %B HSCC %D 1999 %E Vaandrager, Frits W. %E van Schuppen, Jan H. %I Springer %K dblp %P 76-90 %T Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations. %U http://dblp.uni-trier.de/db/conf/hybrid/hscc99.html#ChutinanK99 %V 1569 %@ 3-540-65734-7

@inproceedings{conf/hybrid/ChutinanK99, added-at = {2017-05-23T00:00:00.000+0200}, author = {Chutinan, Alongkrit and Krogh, Bruce H.}, biburl = {https://www.bibsonomy.org/bibtex/27013b37a5008468d4e876ebb015b418c/dblp}, booktitle = {HSCC}, crossref = {conf/hybrid/1999}, editor = {Vaandrager, Frits W. and van Schuppen, Jan H.}, ee = {https://doi.org/10.1007/3-540-48983-5_10}, interhash = {f50841df5a32f39fd9f33af631304ae1}, intrahash = {7013b37a5008468d4e876ebb015b418c}, isbn = {3-540-65734-7}, keywords = {dblp}, pages = {76-90}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:51:23.000+0200}, title = {Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc99.html#ChutinanK99}, volume = 1569, year = 1999 }