%0 Conference Paper %1 conf/xps/AngeleS97 %A Angele, Jürgen %A Studer, Rudi %B XPS %D 1997 %E Mertens, Peter %E Voß, Hans %I Infix %K dblp %P 33-47 %T G-KARL: A Graphical, Formal, and Executable Specification Language. %U http://dblp.uni-trier.de/db/conf/xps/xps1997.html#AngeleS97 %@ 3-89601-004-2

@inproceedings{conf/xps/AngeleS97, added-at = {2017-03-16T00:00:00.000+0100}, author = {Angele, Jürgen and Studer, Rudi}, biburl = {https://www.bibsonomy.org/bibtex/278f60ad552b3e4a911a251f1d21bf81a/dblp}, booktitle = {XPS}, crossref = {conf/xps/1997}, editor = {Mertens, Peter and Voß, Hans}, interhash = {38781fd063eec381a979db53098a5888}, intrahash = {78f60ad552b3e4a911a251f1d21bf81a}, isbn = {3-89601-004-2}, keywords = {dblp}, pages = {33-47}, publisher = {Infix}, timestamp = {2017-03-17T11:37:19.000+0100}, title = {G-KARL: A Graphical, Formal, and Executable Specification Language.}, url = {http://dblp.uni-trier.de/db/conf/xps/xps1997.html#AngeleS97}, year = 1997 }