Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks.

Nikola Benes, Lubos Brim, Samuel Pastva, Jakub Polcek, David Safrnek

Browse the full ICFEM paper archive.