%0 Journal Article %1 journals/lisp/OlveczkyM07 %A Ölveczky, Peter Csaba %A Meseguer, José %D 2007 %J High. Order Symb. Comput. %K dblp %N 1-2 %P 161-196 %T Semantics and pragmatics of Real-Time Maude. %U http://dblp.uni-trier.de/db/journals/lisp/lisp20.html#OlveczkyM07 %V 20

@article{journals/lisp/OlveczkyM07, added-at = {2023-09-20T00:00:00.000+0200}, author = {Ölveczky, Peter Csaba and Meseguer, José}, biburl = {https://www.bibsonomy.org/bibtex/289896b6352f2afe1d80e7874220212e4/dblp}, ee = {https://doi.org/10.1007/s10990-007-9001-5}, interhash = {e22283b55df28ed593cf200aaa03f636}, intrahash = {89896b6352f2afe1d80e7874220212e4}, journal = {High. Order Symb. Comput.}, keywords = {dblp}, number = {1-2}, pages = {161-196}, timestamp = {2024-04-09T03:04:20.000+0200}, title = {Semantics and pragmatics of Real-Time Maude.}, url = {http://dblp.uni-trier.de/db/journals/lisp/lisp20.html#OlveczkyM07}, volume = 20, year = 2007 }