| |
| 2008 | ||
|---|---|---|
| 1 | EE | Jiri Barnat, Lubos Brim, Ivana Cerná, S. Drazan, David Safránek: Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE. Electr. Notes Theor. Comput. Sci. 194(3): 35-50 (2008) |
| 1 | Jiri Barnat | [1] |
| 2 | Lubos Brim | [1] |
| 3 | Ivana Cerná (Ivana Cerna) | [1] |
| 4 | David Safránek | [1] |