On parameter synthesis by parallel model checking (2012)

by J Barnat, L Brim, A Krejč́ı, A Streck, D Šafránek, M Vejnár, T Vejpustek
Venue:IEEE/ACM Transactions on Computational Biology and Bioinformatics