Modular 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 [10.1016/j.entcs.2010.12.006].
Titolo: | Modular Verification of Interactive Systems with Application to Biology | |
Autori interni: | ||
Anno del prodotto: | 2010 | |
Rivista: | ||
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.