%0 Conference Paper %1 conf/concur/GrooteM92 %A Groote, Jan Friso %A Moller, Faron %B CONCUR %D 1992 %E Cleaveland, Rance %I Springer %K dblp %P 62-76 %T Verification of Parallel Systems via Decomposition. %U http://dblp.uni-trier.de/db/conf/concur/concur1992.html#GrooteM92 %V 630 %@ 3-540-55822-5

@inproceedings{conf/concur/GrooteM92, added-at = {2019-06-02T00:00:00.000+0200}, author = {Groote, Jan Friso and Moller, Faron}, biburl = {https://www.bibsonomy.org/bibtex/2fd210301e6da3573f796603124ab02e4/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/1992}, editor = {Cleaveland, Rance}, ee = {https://www.wikidata.org/entity/Q59557037}, interhash = {e73bc66b8eb6d921657036d222f27faf}, intrahash = {fd210301e6da3573f796603124ab02e4}, isbn = {3-540-55822-5}, keywords = {dblp}, pages = {62-76}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T14:04:55.000+0200}, title = {Verification of Parallel Systems via Decomposition.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur1992.html#GrooteM92}, volume = 630, year = 1992 }