Model checking gene regulatory networks / Mirco, Giacobbe; Calin C., Guet; Ashutosh, Gupta; Thomas A., Henzinger; Tiago, Paix~ao; Petrov, T. - (2015). [10.1007/978-3-662-46681-0 47]
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.


