Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/fm/BenesBDPS16
AU - Benes, Nikola
AU - Brim, Lubos
AU - Demko, Martin
AU - Pastva, Samuel
AU - Safránek, David
TI - A Model Checking Approach to Discrete Bifurcation Analysis.
BT - FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
SP - 85
EP - 101
PY - 2016//
DO - 10.1007/978-3-319-48989-6_6
UR - https://doi.org/10.1007/978-3-319-48989-6_6
ER -
