Publications
Filters: Author is Guillaume Brat [Clear All Filters]
, “On-the-Fly Confluence Detection for Statistical Model Checking”, in NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings, 2013.
