Henrich Lauko

2016

Jan Mrázek, Petr Bauch, Henrich Lauko, and Jiří Barnat:
SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration,
Model Checking Software: 23rd International Symposium, SPIN, Springer International Publishing, 2016, 208–213. [bibtex, pdf, url]