%0 Conference Paper %1 conf/prozess/Ludewig81 %A Ludewig, Jochen %B Fachtagung Prozessrechner %D 1981 %E Baumann, Richard %I Springer %K dblp %P 76-86 %T PCSL und ESPRESO - zwei Ansätze zur Formalisierung der Prozeßrechner-Softwarespezifikation. %U http://dblp.uni-trier.de/db/conf/prozess/prozess1981.html#Ludewig81 %V 39 %@ 3-540-10617-0

@inproceedings{conf/prozess/Ludewig81, added-at = {2017-05-21T00:00:00.000+0200}, author = {Ludewig, Jochen}, biburl = {https://www.bibsonomy.org/bibtex/2b65e84929a5a5a4c532fdd3bd347f318/dblp}, booktitle = {Fachtagung Prozessrechner}, crossref = {conf/prozess/1981}, editor = {Baumann, Richard}, ee = {https://doi.org/10.1007/978-3-642-67977-3_6}, interhash = {1506aa207c5967b84e80f53925a3d036}, intrahash = {b65e84929a5a5a4c532fdd3bd347f318}, isbn = {3-540-10617-0}, keywords = {dblp}, pages = {76-86}, publisher = {Springer}, series = {Informatik-Fachberichte}, timestamp = {2019-06-27T11:40:46.000+0200}, title = {PCSL und ESPRESO - zwei Ansätze zur Formalisierung der Prozeßrechner-Softwarespezifikation.}, url = {http://dblp.uni-trier.de/db/conf/prozess/prozess1981.html#Ludewig81}, volume = 39, year = 1981 }