%0 Conference Paper %1 conf/ijcai/MostermanB97 %A Mosterman, Pieter J. %A Biswas, Gautam %B IJCAI (1) %D 1997 %I Morgan Kaufmann %K dblp %P 568-577 %T Formal Specifications for Hybrid Dynamical Systems. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai97.html#MostermanB97

@inproceedings{conf/ijcai/MostermanB97, added-at = {2012-05-15T00:00:00.000+0200}, author = {Mosterman, Pieter J. and Biswas, Gautam}, biburl = {https://www.bibsonomy.org/bibtex/26a7f7f9ff35021f53a9636d684d63d59/dblp}, booktitle = {IJCAI (1)}, crossref = {conf/ijcai/1997}, ee = {http://ijcai.org/proceedings/1997-2}, interhash = {a7b0765a5bc78cb08e8c6f0d47a19eab}, intrahash = {6a7f7f9ff35021f53a9636d684d63d59}, keywords = {dblp}, pages = {568-577}, publisher = {Morgan Kaufmann}, timestamp = {2019-08-21T11:52:36.000+0200}, title = {Formal Specifications for Hybrid Dynamical Systems.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai97.html#MostermanB97}, year = 1997 }