%0 Conference Paper %1 conf/formats/SchiffelersBMRR03 %A Schiffelers, Ramon R. H. %A van Beek, D. A. %A Man, Ka L. %A Reniers, Michel A. %A Rooda, Jacobus E. %B FORMATS %D 2003 %E Larsen, Kim Guldstrand %E Niebert, Peter %I Springer %K dblp %P 151-165 %T Formal Semantics of Hybrid Chi. %U http://dblp.uni-trier.de/db/conf/formats/formats2003.html#SchiffelersBMRR03 %V 2791 %@ 3-540-21671-5

@inproceedings{conf/formats/SchiffelersBMRR03, added-at = {2020-08-03T00:00:00.000+0200}, author = {Schiffelers, Ramon R. H. and van Beek, D. A. and Man, Ka L. and Reniers, Michel A. and Rooda, Jacobus E.}, biburl = {https://www.bibsonomy.org/bibtex/2d2574768e50fa5755471fb433bc36c93/dblp}, booktitle = {FORMATS}, crossref = {conf/formats/2003}, editor = {Larsen, Kim Guldstrand and Niebert, Peter}, ee = {https://doi.org/10.1007/978-3-540-40903-8_12}, interhash = {a758a3227a3b0719b3180158782c413e}, intrahash = {d2574768e50fa5755471fb433bc36c93}, isbn = {3-540-21671-5}, keywords = {dblp}, pages = {151-165}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-08-04T11:43:03.000+0200}, title = {Formal Semantics of Hybrid Chi.}, url = {http://dblp.uni-trier.de/db/conf/formats/formats2003.html#SchiffelersBMRR03}, volume = 2791, year = 2003 }