%0 Conference Paper %1 conf/concur/Stolen91 %A Stølen, Ketil %B CONCUR %D 1991 %E Baeten, Jos C. M. %E Groote, Jan Friso %I Springer %K dblp %P 510-525 %T A Method for the Development of Totally Correct Shared-State Parallel Programs. %U http://dblp.uni-trier.de/db/conf/concur/concur1991.html#Stolen91 %V 527 %@ 3-540-54430-5

@inproceedings{conf/concur/Stolen91, added-at = {2017-05-20T00:00:00.000+0200}, author = {Stølen, Ketil}, biburl = {https://www.bibsonomy.org/bibtex/29f2ee9b32f3735bf7f73072b3ca891a5/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/1991}, editor = {Baeten, Jos C. M. and Groote, Jan Friso}, ee = {https://doi.org/10.1007/3-540-54430-5_110}, interhash = {7715a3e3ed3121c55e692ee810ffb7ba}, intrahash = {9f2ee9b32f3735bf7f73072b3ca891a5}, isbn = {3-540-54430-5}, keywords = {dblp}, pages = {510-525}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:57:03.000+0200}, title = {A Method for the Development of Totally Correct Shared-State Parallel Programs.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur1991.html#Stolen91}, volume = 527, year = 1991 }