%0 Conference Paper %1 conf/icdcsw/TanguyVJ00 %A Tanguy, Lénaick %A Viho, César %A Jard, Claude %B ICDCS Workshop on Distributed System Validation and Verification %D 2000 %E Lai, Ten-Hwang %K dblp %P E67-E74 %T Synthesizing Coordination Procedures for Distributed Testing of Distributed Systems. %U http://dblp.uni-trier.de/db/conf/icdcsw/icdcsw2000.html#TanguyVJ00

@inproceedings{conf/icdcsw/TanguyVJ00, added-at = {2002-01-03T00:00:00.000+0100}, author = {Tanguy, Lénaick and Viho, César and Jard, Claude}, biburl = {https://www.bibsonomy.org/bibtex/26697b1d3d38824cb65ffdf72a0206929/dblp}, booktitle = {ICDCS Workshop on Distributed System Validation and Verification}, crossref = {conf/icdcsw/2000}, date = {2002-01-03}, description = {dblp}, editor = {Lai, Ten-Hwang}, interhash = {275f98be1c2347130d231e3539df3bf4}, intrahash = {6697b1d3d38824cb65ffdf72a0206929}, keywords = {dblp}, pages = {E67-E74}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {Synthesizing Coordination Procedures for Distributed Testing of Distributed Systems.}, url = {http://dblp.uni-trier.de/db/conf/icdcsw/icdcsw2000.html#TanguyVJ00}, year = 2000 }