Publications
Total number of publications: 11
2008
-
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE
Electronic Notes in Theoretical Computer Science, year: 2008