%0 Journal Article %1 journals/scpe/HuuckLUEKP98 %A Huuck, Ralf %A Lakhnech, Yassine %A Urbina, Luis %A Engell, Sebastian %A Kowalewski, Stefan %A Preußig, Jörg %D 1998 %J Scalable Computing: Practice and Experience %K dblp %N 2 %T Integrating Timed Condition/Event Systems and Timed Automata for the Verification of Hybrid Systems. %U http://dblp.uni-trier.de/db/journals/scpe/scpe1.html#HuuckLUEKP98 %V 1

@article{journals/scpe/HuuckLUEKP98, added-at = {2012-03-05T00:00:00.000+0100}, author = {Huuck, Ralf and Lakhnech, Yassine and Urbina, Luis and Engell, Sebastian and Kowalewski, Stefan and Preußig, Jörg}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/22ffdade3300f1bfba8823cd5d157e18f/dblp}, ee = {http://www.scpe.org/index.php/scpe/article/view/80}, interhash = {79b05cba1dc382f16613dbfdd45bd0a7}, intrahash = {2ffdade3300f1bfba8823cd5d157e18f}, journal = {Scalable Computing: Practice and Experience}, keywords = {dblp}, number = 2, timestamp = {2016-02-02T09:50:45.000+0100}, title = {Integrating Timed Condition/Event Systems and Timed Automata for the Verification of Hybrid Systems.}, url = {http://dblp.uni-trier.de/db/journals/scpe/scpe1.html#HuuckLUEKP98}, volume = 1, year = 1998 }