%0 Journal Article %1 journals/jucs/BorgerG01 %A Börger, Egon %A Glässer, Uwe %D 2001 %J J. UCS %K dblp %N 11 %P 914-916 %T Abstract State Machines 2001: New Developments and Applications - J.UCS Special Issue. %U http://dblp.uni-trier.de/db/journals/jucs/jucs7.html#BorgerG01 %V 7

@article{journals/jucs/BorgerG01, added-at = {2003-12-01T00:00:00.000+0100}, author = {Börger, Egon and Glässer, Uwe}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2dd1d841af0da3de0005004f747b72e5e/dblp}, ee = {http://www.jucs.org/jucs_7_11/abstract_state_machines_2001}, interhash = {ec852b4add10cb6013c992e30dc9a70d}, intrahash = {dd1d841af0da3de0005004f747b72e5e}, journal = {J. UCS}, keywords = {dblp}, number = 11, pages = {914-916}, timestamp = {2016-02-02T10:40:19.000+0100}, title = {Abstract State Machines 2001: New Developments and Applications - J.UCS Special Issue.}, url = {http://dblp.uni-trier.de/db/journals/jucs/jucs7.html#BorgerG01}, volume = 7, year = 2001 }