%0 Conference Paper %1 conf/gi/Ehrig93 %A Ehrig, Hartmut %B GI Jahrestagung %D 1993 %E Reichel, Horst %I Springer %K dblp %P 528-533 %T Combined Algebraic Specification Techniques for Concurrent and Distributed Systems. %U http://dblp.uni-trier.de/db/conf/gi/gi93.html#Ehrig93 %@ 3-540-57192-2

@inproceedings{conf/gi/Ehrig93, added-at = {2016-03-15T00:00:00.000+0100}, author = {Ehrig, Hartmut}, biburl = {https://www.bibsonomy.org/bibtex/286eea59d0c89d503feae0425b27b6e17/dblp}, booktitle = {GI Jahrestagung}, crossref = {conf/gi/1993}, editor = {Reichel, Horst}, ee = {http://dx.doi.org/10.1007/978-3-642-78486-6_94}, interhash = {ed1fd8d9e49f4b20dc03094ca452e0d3}, intrahash = {86eea59d0c89d503feae0425b27b6e17}, isbn = {3-540-57192-2}, keywords = {dblp}, pages = {528-533}, publisher = {Springer}, series = {Informatik Aktuell}, timestamp = {2016-03-16T11:52:33.000+0100}, title = {Combined Algebraic Specification Techniques for Concurrent and Distributed Systems.}, url = {http://dblp.uni-trier.de/db/conf/gi/gi93.html#Ehrig93}, year = 1993 }