Yu-Fang Chen, Chih-Duo Hong, Anthony W. Lin, Philipp Rümmer. Learning to prove safety over parameterised concurrent systems. In Daryl Stewart, Georg Weissenbacher, editors, 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017. pages 76-83, IEEE, 2017. [doi]
@inproceedings{ChenHLR17,
title = {Learning to prove safety over parameterised concurrent systems},
author = {Yu-Fang Chen and Chih-Duo Hong and Anthony W. Lin and Philipp Rümmer},
year = {2017},
doi = {10.23919/FMCAD.2017.8102244},
url = {https://doi.org/10.23919/FMCAD.2017.8102244},
researchr = {https://researchr.org/publication/ChenHLR17},
cites = {0},
citedby = {0},
pages = {76-83},
booktitle = {2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017},
editor = {Daryl Stewart and Georg Weissenbacher},
publisher = {IEEE},
isbn = {978-0-9835678-7-5},
}