%0 Conference Paper %1 conf/adt/Hussmann88 %A Hußmann, Heinrich %B ADT %D 1988 %E Ehrig, Hartmut %K dblp %T Prototyping Non-Deterministic Algebraic Specifications using the RAP System. %U http://dblp.uni-trier.de/db/conf/adt/adt1988.html#Hussmann88

@inproceedings{conf/adt/Hussmann88, added-at = {2019-07-19T00:00:00.000+0200}, author = {Hußmann, Heinrich}, biburl = {https://www.bibsonomy.org/bibtex/2eafea1a7ae43e6097c5d826007af1ab7/dblp}, booktitle = {ADT}, crossref = {conf/adt/1988}, editor = {Ehrig, Hartmut}, interhash = {0c71c0cc2f6e551e79c2acd691533c90}, intrahash = {eafea1a7ae43e6097c5d826007af1ab7}, keywords = {dblp}, timestamp = {2019-07-20T11:38:35.000+0200}, title = {Prototyping Non-Deterministic Algebraic Specifications using the RAP System.}, url = {http://dblp.uni-trier.de/db/conf/adt/adt1988.html#Hussmann88}, year = 1988 }