%0 Journal Article %1 journals/entcs/PeledQ05 %A Peled, Doron A. %A Qu, Hongyang %D 2005 %J Electron. Notes Theor. Comput. Sci. %K %P 65-83 %T Enforcing Concurrent Temporal Behaviors. %U http://dblp.uni-trier.de/db/journals/entcs/entcs113.html#PeledQ05 %V 113

@article{journals/entcs/PeledQ05, added-at = {2023-12-13T03:02:26.000+0100}, author = {Peled, Doron A. and Qu, Hongyang}, biburl = {https://www.bibsonomy.org/bibtex/22faf022d11fec27dbcae45748468c716/admin}, ee = {https://doi.org/10.1016/j.entcs.2004.01.034}, interhash = {86cb41a4addb290385c7a6698a2cf43a}, intrahash = {2faf022d11fec27dbcae45748468c716}, journal = {Electron. Notes Theor. Comput. Sci.}, keywords = {}, pages = {65-83}, timestamp = {2023-12-13T03:02:26.000+0100}, title = {Enforcing Concurrent Temporal Behaviors.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs113.html#PeledQ05}, volume = 113, year = 2005 }