Bernd J. Krämer, Norbert Völker, Thomas Koch, Klaus Gotthardt. Stärken und Schwächen formaler Beschreibungstechniken für verteilte Systeme. Praxis der Informationsverarbeitung und Kommunikation, 17(3):136-149, 1994. [doi]
@article{KramerVKG94,
title = {Stärken und Schwächen formaler Beschreibungstechniken für verteilte Systeme},
author = {Bernd J. Krämer and Norbert Völker and Thomas Koch and Klaus Gotthardt},
year = {1994},
doi = {10.1515/piko.1994.17.3.136},
url = {http://dx.doi.org/10.1515/piko.1994.17.3.136},
researchr = {https://researchr.org/publication/KramerVKG94},
cites = {0},
citedby = {0},
journal = {Praxis der Informationsverarbeitung und Kommunikation},
volume = {17},
number = {3},
pages = {136-149},
}