Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek
A Model Checking Approach to Discrete Bifurcation Analysis
FM, 2016.
@inproceedings{FM-2016-BenesBDPS,
author = "Nikola Benes and Lubos Brim and Martin Demko and Samuel Pastva and David Safránek",
booktitle = "{Proceedings of the 21st International Symposium of Formal Methods}",
doi = "10.1007/978-3-319-48989-6_6",
isbn = "978-3-319-48988-9",
pages = "85--101",
title = "{A Model Checking Approach to Discrete Bifurcation Analysis}",
year = 2016,
}