%0 Journal Article %1 M�ller2000 %A MÜller, Olaf %A Stauner, Thomas %D 2000 %I Taylor & Francis %J Mathematical and Computer Modelling of Dynamical Systems %K imported %N 1 %P 71--89 %T Modelling and Verification using Linear Hybrid Automata -- a Case Study %U http://www.informaworld.com/10.1076/1387-3954(200003)6:1;1-Q;FT071 %V 6

@article{M�ller2000, added-at = {2008-04-23T19:29:26.000+0200}, author = {M{\"U}ller, Olaf and Stauner, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/2b340c91c7301c98808c06b187407b378/smicha}, interhash = {5a91768b999c6449a6f7794856fc2714}, intrahash = {b340c91c7301c98808c06b187407b378}, issn = {1387-3954}, journal = {Mathematical and Computer Modelling of Dynamical Systems}, keywords = {imported}, number = 1, pages = {71--89}, publisher = {Taylor \& Francis}, timestamp = {2008-04-23T19:29:38.000+0200}, title = {Modelling and Verification using Linear Hybrid Automata -- a Case Study}, url = {http://www.informaworld.com/10.1076/1387-3954(200003)6:1;1-Q;FT071}, volume = 6, year = 2000 }