%0 Conference Paper %1 conf/calco/GlauschR07 %A Glausch, Andreas %A Reisig, Wolfgang %B CALCO %D 2007 %E Mossakowski, Till %E Montanari, Ugo %E Haveraaen, Magne %I Springer %K dblp %P 242-256 %T A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines. %U http://dblp.uni-trier.de/db/conf/calco/calco2007.html#GlauschR07 %V 4624 %@ 978-3-540-73857-2

@inproceedings{conf/calco/GlauschR07, added-at = {2017-05-24T00:00:00.000+0200}, author = {Glausch, Andreas and Reisig, Wolfgang}, biburl = {https://www.bibsonomy.org/bibtex/27299799198dbef586ceb665e0d52a4f1/dblp}, booktitle = {CALCO}, crossref = {conf/calco/2007}, editor = {Mossakowski, Till and Montanari, Ugo and Haveraaen, Magne}, ee = {https://doi.org/10.1007/978-3-540-73859-6_17}, interhash = {6170d3ea484dddfae1b933979c9234f0}, intrahash = {7299799198dbef586ceb665e0d52a4f1}, isbn = {978-3-540-73857-2}, keywords = {dblp}, pages = {242-256}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:21:07.000+0200}, title = {A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines.}, url = {http://dblp.uni-trier.de/db/conf/calco/calco2007.html#GlauschR07}, volume = 4624, year = 2007 }