%0 Conference Paper %1 conf/asm/CavarraK04 %A Cavarra, Alessandra %A Filipe, Juliana Küster %B Abstract State Machines %D 2004 %E Zimmermann, Wolf %E Thalheim, Bernhard %I Springer %K dblp %P 62-77 %T Formalizing Liveness-Enriched Sequence Diagrams Using ASMs. %U http://dblp.uni-trier.de/db/conf/asm/asm2004.html#CavarraK04 %V 3052 %@ 3-540-22094-1

@inproceedings{conf/asm/CavarraK04, added-at = {2017-05-21T00:00:00.000+0200}, author = {Cavarra, Alessandra and Filipe, Juliana Küster}, biburl = {https://www.bibsonomy.org/bibtex/2932ebd720e918780734767448f5a6725/dblp}, booktitle = {Abstract State Machines}, crossref = {conf/asm/2004}, editor = {Zimmermann, Wolf and Thalheim, Bernhard}, ee = {https://doi.org/10.1007/978-3-540-24773-9_6}, interhash = {01428e716a05dd2f5e719697ed8a8a82}, intrahash = {932ebd720e918780734767448f5a6725}, isbn = {3-540-22094-1}, keywords = {dblp}, pages = {62-77}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:42:23.000+0200}, title = {Formalizing Liveness-Enriched Sequence Diagrams Using ASMs.}, url = {http://dblp.uni-trier.de/db/conf/asm/asm2004.html#CavarraK04}, volume = 3052, year = 2004 }