 | 2009 |
|---|
| 3 |       | Jiri Barnat,
Lubos Brim,
Ivana Cerná,
Sven Drazan,
Jana Fabriková,
Jan Láník,
David Safránek,
Hongwu Ma:
BioDiVinE: A Framework for Parallel Analysis of Biological Models
CoRR abs/0910.0928: (2009) |
| 2 | | Jiri Barnat,
Lubos Brim,
Ivana Cerná,
Sven Drazan,
Jana Fabriková,
David Safránek:
On algorithmic analysis of transcriptional regulation by LTL model checking.
Theor. Comput. Sci. 410(33-34): 3128-3148 (2009) |
| 2008 |
|---|
| 1 | | Jiri Barnat,
Lubos Brim,
Ivana Cerná,
Sven Drazan,
David Safránek:
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE.
Electr. Notes Theor. Comput. Sci. 194(3): 35-50 (2008) |
