Publikace
Počet publikací: 11
2008
-
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE
Electronic Notes in Theoretical Computer Science, rok: 2008