EnglishModular Verification of Interactive Systems with Application to Biology / DRABIK P; MAGGIOLO-SCHETTINI A; MILAZZO P. - In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. - ISSN 1571-0661. - ENTCS 268(2010), pp. 61-75. ((Intervento presentato al convegno Int. Workshop on interactions between computer science and biology (CS2Bio'10) tenutosi a Amsterdam, Netherlands nel 10/6/2010.
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11568/203254| Titolo: | Modular Verification of Interactive Systems with Application to Biology |
| Autori interni: | MAGGIOLO SCHETTINI, ANDREA MILAZZO, PAOLO |
| Anno del prodotto: | 2010 |
| Rivista: | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE |
| Handle: | http://hdl.handle.net/11568/203254 |
| Appare nelle tipologie: | 4.1 Contributo in Atti di convegno |
File in 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.
Copyright © 2017