DMCA

On parameter synthesis by parallel model checking (2012)

Cached

Download Links

by J. Barnat , L. Brim , A. Krejčí , A. Streck , M. Vejnár , T. Vejpustek
Venue:IEEE/ACM Trans. Comput. Biol. Bioinformatics
Citations:7 - 2 self