%0 Conference Paper %1 conf/icdcs/RomanECL87 %A Roman, Gruia-Catalin %A Ehlers, Michael E. %A Cunningham, H. Conrad %A Lykins, R. H. %B ICDCS %D 1987 %I IEEE Computer Society %K dblp %P 282-291 %T Toward Comprehensive Specification of Distributed Systems. %U http://dblp.uni-trier.de/db/conf/icdcs/icdcs87.html#RomanECL87

@inproceedings{conf/icdcs/RomanECL87, added-at = {2013-11-27T00:00:00.000+0100}, author = {Roman, Gruia-Catalin and Ehlers, Michael E. and Cunningham, H. Conrad and Lykins, R. H.}, biburl = {https://www.bibsonomy.org/bibtex/21f9ea8298fcbd7185837df06d5c8ed73/dblp}, booktitle = {ICDCS}, crossref = {conf/icdcs/1987}, interhash = {734d9676fa5f36533f17958e35d59e77}, intrahash = {1f9ea8298fcbd7185837df06d5c8ed73}, keywords = {dblp}, pages = {282-291}, publisher = {IEEE Computer Society}, timestamp = {2013-11-28T11:35:03.000+0100}, title = {Toward Comprehensive Specification of Distributed Systems.}, url = {http://dblp.uni-trier.de/db/conf/icdcs/icdcs87.html#RomanECL87}, year = 1987 }