%0 Conference Paper %1 conf/facs/Gilbert88 %A Gilbert, David R. %B Specification and Verification of Concurrent Systems %D 1988 %E Rattray, Charles %I Springer %K dblp %P 455-473 %T Specification and Implementation of Concurrent Systems using PARLOG. %U http://dblp.uni-trier.de/db/conf/facs/facs1988.html#Gilbert88 %@ 3-540-19581-5

@inproceedings{conf/facs/Gilbert88, added-at = {2015-04-08T00:00:00.000+0200}, author = {Gilbert, David R.}, biburl = {https://www.bibsonomy.org/bibtex/269683ea23822f60b0d832f3701ea7f3a/dblp}, booktitle = {Specification and Verification of Concurrent Systems}, crossref = {conf/facs/1988}, editor = {Rattray, Charles}, interhash = {2c0921095bf9263d5144331382c7fbeb}, intrahash = {69683ea23822f60b0d832f3701ea7f3a}, isbn = {3-540-19581-5}, keywords = {dblp}, pages = {455-473}, publisher = {Springer}, series = {Workshops in Computing}, timestamp = {2015-06-20T01:46:54.000+0200}, title = {Specification and Implementation of Concurrent Systems using PARLOG.}, url = {http://dblp.uni-trier.de/db/conf/facs/facs1988.html#Gilbert88}, year = 1988 }