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]
No references recorded for this publication.
No citations of this publication recorded.