%0 Journal Article %1 journals/tcs/GurevichRS05 %A Gurevich, Yuri %A Rossman, Benjamin %A Schulte, Wolfram %D 2005 %J Theor. Comput. Sci. %K %N 3 %P 370-412 %T Semantic essence of AsmL. %U http://dblp.uni-trier.de/db/journals/tcs/tcs343.html#GurevichRS05 %V 343

@article{journals/tcs/GurevichRS05, added-at = {2023-12-13T01:47:43.000+0100}, author = {Gurevich, Yuri and Rossman, Benjamin and Schulte, Wolfram}, biburl = {https://www.bibsonomy.org/bibtex/256ed5ff1247dd5d9177b7597f9870b7b/admin}, date = {2006-01-10}, ee = {http://dx.doi.org/10.1016/j.tcs.2005.06.017}, interhash = {768c20852080945c164788f5e114752e}, intrahash = {56ed5ff1247dd5d9177b7597f9870b7b}, journal = {Theor. Comput. Sci.}, keywords = {}, number = 3, pages = {370-412}, timestamp = {2023-12-13T01:47:43.000+0100}, title = {Semantic essence of AsmL.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs343.html#GurevichRS05}, volume = 343, year = 2005 }