%0 Conference Paper %1 conf/isorc/IrannejadTF17 %A Irannejad, Milad %A Tchamgoue, Guy Martin %A Fischmeister, Sebastian %B ISORC %D 2017 %I IEEE Computer Society %K dblp %P 109-116 %T A Reordering Framework for Testing Message-Passing Systems. %U http://dblp.uni-trier.de/db/conf/isorc/isorc2017.html#IrannejadTF17 %@ 978-1-5386-1574-4

@inproceedings{conf/isorc/IrannejadTF17, added-at = {2023-03-24T00:00:00.000+0100}, author = {Irannejad, Milad and Tchamgoue, Guy Martin and Fischmeister, Sebastian}, biburl = {https://www.bibsonomy.org/bibtex/2334ad83aec4ddd5f517a19bf5059526c/dblp}, booktitle = {ISORC}, crossref = {conf/isorc/2017}, ee = {https://doi.ieeecomputersociety.org/10.1109/ISORC.2017.6}, interhash = {cf45bef824cffab32de8f3ee955fbd58}, intrahash = {334ad83aec4ddd5f517a19bf5059526c}, isbn = {978-1-5386-1574-4}, keywords = {dblp}, pages = {109-116}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T13:14:11.000+0200}, title = {A Reordering Framework for Testing Message-Passing Systems.}, url = {http://dblp.uni-trier.de/db/conf/isorc/isorc2017.html#IrannejadTF17}, year = 2017 }