%0 Conference Paper %1 conf/acri/UmeoSN00 %A Umeo, Hiroshi %A Sogabe, Takashi %A Nomura, Yukihiro %B ACRI %D 2000 %E Bandini, Stefania %E Worsch, Thomas %I Springer %K dblp %P 152-160 %T Correction, Optimization and Verification of Transition Rule Set for Waksman's Firing Squad Synchronization Algorithm. %U http://dblp.uni-trier.de/db/conf/acri/acri2000.html#UmeoSN00 %@ 1-85233-388-X

@inproceedings{conf/acri/UmeoSN00, added-at = {2003-02-12T00:00:00.000+0100}, author = {Umeo, Hiroshi and Sogabe, Takashi and Nomura, Yukihiro}, biburl = {https://www.bibsonomy.org/bibtex/22a383dcc8ed1386aecb12f9ba51b7389/dblp}, booktitle = {ACRI}, crossref = {conf/acri/2000}, date = {2003-02-12}, description = {dblp}, editor = {Bandini, Stefania and Worsch, Thomas}, interhash = {f3baf0b91b243f3453ae850d62aad468}, intrahash = {2a383dcc8ed1386aecb12f9ba51b7389}, isbn = {1-85233-388-X}, keywords = {dblp}, pages = {152-160}, publisher = {Springer}, timestamp = {2003-02-12T00:00:00.000+0100}, title = {Correction, Optimization and Verification of Transition Rule Set for Waksman's Firing Squad Synchronization Algorithm.}, url = {http://dblp.uni-trier.de/db/conf/acri/acri2000.html#UmeoSN00}, year = 2000 }