%0 Conference Paper %1 conf/qsic/HarelKP04 %A Harel, David %A Kugler, Hillel %A Pnueli, Amir %B QSIC %D 2004 %I IEEE Computer Society %K dblp %P 2-10 %T Smart Play-Out Extended: Time and Forbidden Elements. %U http://dblp.uni-trier.de/db/conf/qsic/qsic2004.html#HarelKP04 %@ 0-7695-2207-6

@inproceedings{conf/qsic/HarelKP04, added-at = {2023-03-23T00:00:00.000+0100}, author = {Harel, David and Kugler, Hillel and Pnueli, Amir}, biburl = {https://www.bibsonomy.org/bibtex/2df36467ec28f0918003d572fa4961700/dblp}, booktitle = {QSIC}, crossref = {conf/qsic/2004}, ee = {https://doi.ieeecomputersociety.org/10.1109/QSIC.2004.1357938}, interhash = {badc83ede2f845e5e53fe47332df7fc4}, intrahash = {df36467ec28f0918003d572fa4961700}, isbn = {0-7695-2207-6}, keywords = {dblp}, pages = {2-10}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T07:18:41.000+0200}, title = {Smart Play-Out Extended: Time and Forbidden Elements.}, url = {http://dblp.uni-trier.de/db/conf/qsic/qsic2004.html#HarelKP04}, year = 2004 }