Martin Vejnár

2012

Jiří Barnat, Luboš Brim, Adam Krejci, Adam Streck, David Šafránek, Martin Vejnár, and Tomáš Vejpustek:
On Parameter Synthesis by Parallel Model Checking,
IEEE/ACM Trans. Comput. Biol. Bioinformatics, IEEE Computer Society Press, 2012, 693–705. [bibtex, url]

2010

Jiří Barnat, Luboš Brim, David Šafránek, and Martin Vejnár:
Parameter Scanning by Parallel Model Checking with Applications in Systems Biology,
Proceedings of joint HiBi/PDMC workshop (HiBi/PDMC 2010), IEEE, 2010. [bibtex]