Guillaume Baud-Berthier, Laurent Simon. On Selecting Constraints for Replication in Model Checking. In 29th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2017, Boston, MA, USA, November 6-8, 2017. pages 876-883, IEEE Computer Society, 2017. [doi]
@inproceedings{Baud-BerthierS17, title = {On Selecting Constraints for Replication in Model Checking}, author = {Guillaume Baud-Berthier and Laurent Simon}, year = {2017}, doi = {10.1109/ICTAI.2017.00136}, url = {http://doi.ieeecomputersociety.org/10.1109/ICTAI.2017.00136}, researchr = {https://researchr.org/publication/Baud-BerthierS17}, cites = {0}, citedby = {0}, pages = {876-883}, booktitle = {29th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2017, Boston, MA, USA, November 6-8, 2017}, publisher = {IEEE Computer Society}, isbn = {978-1-5386-3876-7}, }