GSTE is partitioned Model Checking / Sebastiani, Roberto; E., Siengeman; Tonetta, Stefano; M., Vardi. - In: FORMAL METHODS IN SYSTEM DESIGN. - ISSN 0925-9856. - STAMPA. - 31:2(2007), pp. 177-196.
Titolo: | GSTE is partitioned Model Checking |
Autori: | Sebastiani, Roberto; E., Siengeman; Tonetta, Stefano; M., Vardi |
Autori Unitn: | |
Titolo del periodico: | FORMAL METHODS IN SYSTEM DESIGN |
Anno di pubblicazione: | 2007 |
Numero e parte del fascicolo: | 2 |
Codice identificativo Scopus: | 2-s2.0-34548461669 |
Codice identificativo ISI: | WOS:000249212000003 |
Digital Object Identifier (DOI): | http://dx.doi.org/10.1007/s10703-007-0036-3 |
Handle: | http://hdl.handle.net/11572/65983 |
Appare nelle tipologie: | 03.1 Articolo su rivista (Journal article) |
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