%0 Journal Article %1 journals/ijfcs/PeledQ06 %A Peled, Doron A. %A Qu, Hongyang %D 2006 %J Int. J. Found. Comput. Sci. %K %N 4 %P 743-762 %T Enforcing Concurrent Temporal Behaviors. %U http://dblp.uni-trier.de/db/journals/ijfcs/ijfcs17.html#PeledQ06 %V 17

@article{journals/ijfcs/PeledQ06, added-at = {2023-12-13T05:35:41.000+0100}, author = {Peled, Doron A. and Qu, Hongyang}, biburl = {https://www.bibsonomy.org/bibtex/27f6ba959c784f41b4d12e8dd5d30e856/admin}, ee = {http://dx.doi.org/10.1142/S012905410600408X}, interhash = {a4608f0f6414969c1ea8ae05e0c7eda2}, intrahash = {7f6ba959c784f41b4d12e8dd5d30e856}, journal = {Int. J. Found. Comput. Sci.}, keywords = {}, number = 4, pages = {743-762}, timestamp = {2023-12-13T05:35:41.000+0100}, title = {Enforcing Concurrent Temporal Behaviors.}, url = {http://dblp.uni-trier.de/db/journals/ijfcs/ijfcs17.html#PeledQ06}, volume = 17, year = 2006 }