Modular verification of biological systems

Peter, Drà¡bik
2011

2011
Inglese
Andrea Maggiolo-Schettini
Paolo Milazzo
Università degli Studi di Pisa
Università degli Studi di Pisa
Università degli Studi di Pisa
Università degli Studi di Pisa
Università degli Studi di Pisa
Università degli Studi di Pisa
Università degli Studi di Pisa
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in UNITESI sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14242/254462
Il codice NBN di questa tesi è URN:NBN:IT:UNIPI-254462