%0 Conference Paper %1 conf/stacs/Wolff89 %A Wolff, Thomas %B STACS %D 1989 %E Monien, Burkhard %E Cori, Robert %I Springer %K dblp %P 541-543 %T Implementation of a Transition Sematics for Parallel Programs with Shared Variables. %U http://dblp.uni-trier.de/db/conf/stacs/stacs89.html#Wolff89 %V 349 %@ 3-540-50840-6

@inproceedings{conf/stacs/Wolff89, added-at = {2017-05-19T00:00:00.000+0200}, author = {Wolff, Thomas}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/29387f9a4b5fdc10b859a4f823ff31dd0/dblp}, booktitle = {STACS}, crossref = {conf/stacs/1989}, editor = {Monien, Burkhard and Cori, Robert}, ee = {https://doi.org/10.1007/BFb0029019}, interhash = {d0d8d8d2700795497ef6934f5ec7dc3f}, intrahash = {9387f9a4b5fdc10b859a4f823ff31dd0}, isbn = {3-540-50840-6}, keywords = {dblp}, pages = {541-543}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T16:29:19.000+0200}, title = {Implementation of a Transition Sematics for Parallel Programs with Shared Variables.}, url = {http://dblp.uni-trier.de/db/conf/stacs/stacs89.html#Wolff89}, volume = 349, year = 1989 }