%0 Journal Article %1 mousavi_07_sos %A Mousavi, Mohammadreza %A Reniers, Michel A. %A Groote, Jan F. %C Essex, UK %D 2007 %I Elsevier Science Publishers Ltd. %J Theor. Comput. Sci. %K 2006 semantics operational sos %N 3 %P 238--272 %R 10.1016/j.tcs.2006.12.019 %T SOS formats and meta-theory: 20 years after %U http://dx.doi.org/10.1016/j.tcs.2006.12.019 %V 373

@article{mousavi_07_sos, added-at = {2009-02-11T20:52:59.000+0100}, address = {Essex, UK}, author = {Mousavi, Mohammadreza and Reniers, Michel A. and Groote, Jan F.}, biburl = {https://www.bibsonomy.org/bibtex/29cfda0bec7b86e5ec8e1a8e4145e34de/leonardo}, citeulike-article-id = {1275429}, doi = {10.1016/j.tcs.2006.12.019}, interhash = {4daaf19299b98d342bdf2d22cbf0528c}, intrahash = {9cfda0bec7b86e5ec8e1a8e4145e34de}, issn = {0304-3975}, journal = {Theor. Comput. Sci.}, keywords = {2006 semantics operational sos}, month = {April}, number = 3, pages = {238--272}, posted-at = {2007-05-03 22:47:29}, priority = {2}, publisher = {Elsevier Science Publishers Ltd.}, timestamp = {2009-02-11T20:52:59.000+0100}, title = {SOS formats and meta-theory: 20 years after}, url = {http://dx.doi.org/10.1016/j.tcs.2006.12.019}, volume = 373, year = 2007 }