%0 Conference Paper %1 conf/jcit/HenzingerMP90 %A Henzinger, Thomas A. %A Manna, Zohar %A Pnueli, Amir %B Jerusalem Conference on Information Technology %D 1990 %E Maor, Joshua %E Peled, Abraham %I IEEE Computer Society %K dblp %P 717-730 %T An interleaving model for real-time. %U http://dblp.uni-trier.de/db/conf/jcit/jcit1990.html#HenzingerMP90 %@ 0-8186-2078-1

@inproceedings{conf/jcit/HenzingerMP90, added-at = {2023-03-24T00:00:00.000+0100}, author = {Henzinger, Thomas A. and Manna, Zohar and Pnueli, Amir}, biburl = {https://www.bibsonomy.org/bibtex/2fea1013be486d155ab8378db1bbbd60c/dblp}, booktitle = {Jerusalem Conference on Information Technology}, crossref = {conf/jcit/1990}, editor = {Maor, Joshua and Peled, Abraham}, ee = {http://dl.acm.org/citation.cfm?id=100633}, interhash = {a44c953734d1ebbf1265b994c7139300}, intrahash = {fea1013be486d155ab8378db1bbbd60c}, isbn = {0-8186-2078-1}, keywords = {dblp}, pages = {717-730}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T16:33:20.000+0200}, title = {An interleaving model for real-time.}, url = {http://dblp.uni-trier.de/db/conf/jcit/jcit1990.html#HenzingerMP90}, year = 1990 }