%0 Journal Article %1 journals/tcs/OlveczkyM02 %A Ölveczky, Peter Csaba %A Meseguer, José %D 2002 %J Theor. Comput. Sci. %K dblp %N 2 %P 359-405 %T Specification of real-time and hybrid systems in rewriting logic. %U http://dblp.uni-trier.de/db/journals/tcs/tcs285.html#OlveczkyM02 %V 285

@article{journals/tcs/OlveczkyM02, added-at = {2023-09-20T00:00:00.000+0200}, author = {Ölveczky, Peter Csaba and Meseguer, José}, biburl = {https://www.bibsonomy.org/bibtex/27b2cfefaac962c2e73b6550ba100f406/dblp}, ee = {https://doi.org/10.1016/S0304-3975(01)00363-2}, interhash = {a10c00564cf25e2f347f652b608230e8}, intrahash = {7b2cfefaac962c2e73b6550ba100f406}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 2, pages = {359-405}, timestamp = {2024-04-08T18:44:27.000+0200}, title = {Specification of real-time and hybrid systems in rewriting logic.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs285.html#OlveczkyM02}, volume = 285, year = 2002 }