%0 Conference Paper %1 conf/forte/Gilbert89 %A Gilbert, David R. %B FORTE %D 1989 %E Vuong, Son T. %I North-Holland %K dblp %P 245-260 %T Specifying Concurrent Systems Using Logic. %U http://dblp.uni-trier.de/db/conf/forte/forte1989.html#Gilbert89 %@ 0-444-88544-7

@inproceedings{conf/forte/Gilbert89, added-at = {2015-04-08T00:00:00.000+0200}, author = {Gilbert, David R.}, biburl = {https://www.bibsonomy.org/bibtex/2586737d193466a316887e4484fab629c/dblp}, booktitle = {FORTE}, crossref = {conf/forte/1989}, editor = {Vuong, Son T.}, interhash = {6030131e493d810b4dcffc3b92dd7648}, intrahash = {586737d193466a316887e4484fab629c}, isbn = {0-444-88544-7}, keywords = {dblp}, pages = {245-260}, publisher = {North-Holland}, timestamp = {2015-06-20T06:09:42.000+0200}, title = {Specifying Concurrent Systems Using Logic.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte1989.html#Gilbert89}, year = 1989 }