DMCA

FBTC 2007 Submission Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE

Cached

Download Links

by J. Barnat , L. Brim , I. Černá , D. ˇ Safránek