A Model Checking Approach to Discrete Bifurcation Analysis.

Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safrnek

Browse the full FM paper archive.