%0 Conference Paper %1 conf/ipps/FilaliMPQT00 %A Filali, Mamoun %A Mauran, Philippe %A Padiou, Gérard %A Quéinnec, Philippe %A Thirioux, Xavier %B IPDPS Workshops %D 2000 %E Rolim, José D. P. %I Springer %K dblp %P 1027-1036 %T Refinement Based Validation of an Algorithm for Detecting Distributed Termination. %U http://dblp.uni-trier.de/db/conf/ipps/ipdpsW2000.html#FilaliMPQT00 %V 1800 %@ 3-540-67442-X

@inproceedings{conf/ipps/FilaliMPQT00, added-at = {2017-05-24T00:00:00.000+0200}, author = {Filali, Mamoun and Mauran, Philippe and Padiou, Gérard and Quéinnec, Philippe and Thirioux, Xavier}, biburl = {https://www.bibsonomy.org/bibtex/2ae8c00030f3f0cbfffb6febef8999b6e/dblp}, booktitle = {IPDPS Workshops}, crossref = {conf/ipps/2000w}, editor = {Rolim, José D. P.}, ee = {https://doi.org/10.1007/3-540-45591-4_140}, interhash = {762e55a97701ae2a7604fe32fdd37aad}, intrahash = {ae8c00030f3f0cbfffb6febef8999b6e}, isbn = {3-540-67442-X}, keywords = {dblp}, pages = {1027-1036}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:24:34.000+0200}, title = {Refinement Based Validation of an Algorithm for Detecting Distributed Termination.}, url = {http://dblp.uni-trier.de/db/conf/ipps/ipdpsW2000.html#FilaliMPQT00}, volume = 1800, year = 2000 }