%0 Conference Paper %1 conf/amast/BroyW00 %A Broy, Manfred %A Wirsing, Martin %B AMAST %D 2000 %E Rus, Teodor %I Springer %K dblp %P 89-188 %T Invited Talk: Algebraic State Machines. %U http://dblp.uni-trier.de/db/conf/amast/amast2000.html#BroyW00 %V 1816 %@ 3-540-67530-2

@inproceedings{conf/amast/BroyW00, added-at = {2017-05-24T00:00:00.000+0200}, author = {Broy, Manfred and Wirsing, Martin}, biburl = {https://www.bibsonomy.org/bibtex/2dc028098987866fb16946ebcddcde48e/dblp}, booktitle = {AMAST}, crossref = {conf/amast/2000}, editor = {Rus, Teodor}, ee = {https://doi.org/10.1007/3-540-45499-3_9}, interhash = {674fe8444a6f714202c38b60e58db07a}, intrahash = {dc028098987866fb16946ebcddcde48e}, isbn = {3-540-67530-2}, keywords = {dblp}, pages = {89-188}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:24:58.000+0200}, title = {Invited Talk: Algebraic State Machines.}, url = {http://dblp.uni-trier.de/db/conf/amast/amast2000.html#BroyW00}, volume = 1816, year = 2000 }