%0 Conference Paper %1 conf/concur/HenzingerHM99 %A Henzinger, Thomas A. %A Horowitz, Benjamin %A Majumdar, Rupak %B CONCUR %D 1999 %E Baeten, Jos C. M. %E Mauw, Sjouke %I Springer %K dblp %P 320-335 %T Rectangular Hybrid Games. %U http://dblp.uni-trier.de/db/conf/concur/concur1999.html#HenzingerHM99 %V 1664 %@ 3-540-66425-4

@inproceedings{conf/concur/HenzingerHM99, added-at = {2017-05-23T00:00:00.000+0200}, author = {Henzinger, Thomas A. and Horowitz, Benjamin and Majumdar, Rupak}, biburl = {https://www.bibsonomy.org/bibtex/23018a4f1c59af092ddec26e500534053/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/1999}, editor = {Baeten, Jos C. M. and Mauw, Sjouke}, ee = {https://doi.org/10.1007/3-540-48320-9_23}, interhash = {bce123dc5cb337a340684b218ef02f2c}, intrahash = {3018a4f1c59af092ddec26e500534053}, isbn = {3-540-66425-4}, keywords = {dblp}, pages = {320-335}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:56:45.000+0200}, title = {Rectangular Hybrid Games.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur1999.html#HenzingerHM99}, volume = 1664, year = 1999 }