%0 Conference Paper %1 conf/asm/BarnettST03 %A Barnett, Michael %A Schulte, Wolfram %A Tillmann, Nikolai %B Abstract State Machines %D 2003 %E Börger, Egon %E Gargantini, Angelo %E Riccobene, Elvinia %I Springer %K dblp %P 407 %T Using AsmL for Runtime Verification. %U http://dblp.uni-trier.de/db/conf/asm/asm2003.html#BarnettST03 %V 2589 %@ 3-540-00624-9

@inproceedings{conf/asm/BarnettST03, added-at = {2017-05-21T00:00:00.000+0200}, author = {Barnett, Michael and Schulte, Wolfram and Tillmann, Nikolai}, biburl = {https://www.bibsonomy.org/bibtex/2f5d3931da23a582a86096dd1d8a11b2b/dblp}, booktitle = {Abstract State Machines}, crossref = {conf/asm/2003}, editor = {Börger, Egon and Gargantini, Angelo and Riccobene, Elvinia}, ee = {https://doi.org/10.1007/3-540-36498-6_24}, interhash = {2298665b17638eea5632bdfd2064b31c}, intrahash = {f5d3931da23a582a86096dd1d8a11b2b}, isbn = {3-540-00624-9}, keywords = {dblp}, pages = 407, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:42:08.000+0200}, title = {Using AsmL for Runtime Verification.}, url = {http://dblp.uni-trier.de/db/conf/asm/asm2003.html#BarnettST03}, volume = 2589, year = 2003 }