%0 Conference Paper %1 conf/forte/PhamJQ19 %A Pham, The Anh %A Jéron, Thierry %A Quinson, Martin %B FORTE %D 2019 %E Pérez, Jorge A. %E Yoshida, Nobuko %I Springer %K dblp %P 224-241 %T Unfolding-Based Dynamic Partial Order Reduction of Asynchronous Distributed Programs. %U http://dblp.uni-trier.de/db/conf/forte/forte2019.html#PhamJQ19 %V 11535 %@ 978-3-030-21759-4

@inproceedings{conf/forte/PhamJQ19, added-at = {2019-10-16T00:00:00.000+0200}, author = {Pham, The Anh and Jéron, Thierry and Quinson, Martin}, biburl = {https://www.bibsonomy.org/bibtex/2cdecfc3f292e7447d483fff4056308c3/dblp}, booktitle = {FORTE}, crossref = {conf/forte/2019}, editor = {Pérez, Jorge A. and Yoshida, Nobuko}, ee = {https://doi.org/10.1007/978-3-030-21759-4_13}, interhash = {fd14c8a9b38b90d781f379210b18e9b6}, intrahash = {cdecfc3f292e7447d483fff4056308c3}, isbn = {978-3-030-21759-4}, keywords = {dblp}, pages = {224-241}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T23:43:04.000+0200}, title = {Unfolding-Based Dynamic Partial Order Reduction of Asynchronous Distributed Programs.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte2019.html#PhamJQ19}, volume = 11535, year = 2019 }