![]() | ![]() |
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] |