%0 Conference Paper %1 conf/facs/America88 %A America, Pierre %B Specification and Verification of Concurrent Systems %D 1988 %E Rattray, Charles %I Springer %K dblp %P 1-20 %T The Interplay of Theory and Practice in a Parallel Object-Oriented Language. %U http://dblp.uni-trier.de/db/conf/facs/facs1988.html#America88 %@ 3-540-19581-5

@inproceedings{conf/facs/America88, added-at = {2003-02-19T00:00:00.000+0100}, author = {America, Pierre}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2154f0613a9cd7bc2d3037fc5ce6389c5/dblp}, booktitle = {Specification and Verification of Concurrent Systems}, crossref = {conf/facs/1988}, editor = {Rattray, Charles}, interhash = {44d15bf863a073fd0abbdab4d1f0129c}, intrahash = {154f0613a9cd7bc2d3037fc5ce6389c5}, isbn = {3-540-19581-5}, keywords = {dblp}, pages = {1-20}, publisher = {Springer}, series = {Workshops in Computing}, timestamp = {2016-02-02T11:42:20.000+0100}, title = {The Interplay of Theory and Practice in a Parallel Object-Oriented Language.}, url = {http://dblp.uni-trier.de/db/conf/facs/facs1988.html#America88}, year = 1988 }