%0 Conference Paper %1 conf/compsac/KramerS90 %A Krämer, Bernd %A Schmidt, Heinz-Wilhelm %B COMPSAC %D 1990 %I IEEE %K dblp %P 617-622 %T Architecture and functionality of a specification environment for distributed software. %U http://dblp.uni-trier.de/db/conf/compsac/compsac1990.html#KramerS90 %@ 0-8186-2054-4

@inproceedings{conf/compsac/KramerS90, added-at = {2016-12-19T00:00:00.000+0100}, author = {Krämer, Bernd and Schmidt, Heinz-Wilhelm}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2726bfcb2b882baafeebf055d551296a5/dblp}, booktitle = {COMPSAC}, crossref = {conf/compsac/1990}, ee = {http://dx.doi.org/10.1109/CMPSAC.1990.139445}, interhash = {39803068ab39cee86de327e2a52e7aae}, intrahash = {726bfcb2b882baafeebf055d551296a5}, isbn = {0-8186-2054-4}, keywords = {dblp}, pages = {617-622}, publisher = {IEEE}, timestamp = {2016-12-20T10:35:35.000+0100}, title = {Architecture and functionality of a specification environment for distributed software.}, url = {http://dblp.uni-trier.de/db/conf/compsac/compsac1990.html#KramerS90}, year = 1990 }