%0 Conference Paper %1 conf/ddb/Miranda80 %A Miranda, Serge %B DDB %D 1980 %E Delobel, Claude %E Litwin, Witold %I North-Holland Publishing Company %K dblp %P 247-274 %T Specification and Validation of Two Ring-Structured Synchronization Protocols for Distributed Data Systems. %U http://dblp.uni-trier.de/db/conf/ddb/ddb80.html#Miranda80 %@ 0-444-85471-1

@inproceedings{conf/ddb/Miranda80, added-at = {2019-07-29T00:00:00.000+0200}, author = {Miranda, Serge}, biburl = {https://www.bibsonomy.org/bibtex/24ea6a1f2adc928f5f01ed92989a1db56/dblp}, booktitle = {DDB}, crossref = {conf/ddb/1980}, editor = {Delobel, Claude and Litwin, Witold}, interhash = {680345268826cea0feb4454de313eb46}, intrahash = {4ea6a1f2adc928f5f01ed92989a1db56}, isbn = {0-444-85471-1}, keywords = {dblp}, pages = {247-274}, publisher = {North-Holland Publishing Company}, timestamp = {2019-08-06T11:39:41.000+0200}, title = {Specification and Validation of Two Ring-Structured Synchronization Protocols for Distributed Data Systems.}, url = {http://dblp.uni-trier.de/db/conf/ddb/ddb80.html#Miranda80}, year = 1980 }