BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models / Madsen, Curtis; Shmarov, Fedor; Zuliani, P. - 9308:(2015), pp. 1-30. [10.1007/978-3-319-23401-4_16]
BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models
Zuliani P
2015
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.