Naviga IRIS

Sfoglia per Autore

Ordina per:

In ordine:

Risultati/Pagina

Vai a una voce nell'indice:

O digita l'anno:

Mostrati risultati da 1 a 7 di 7

2001 Tronci, Enrico; G., DELLA PENNA; B., Intrigila; Zilli, Marisa

2001 Tronci, Enrico; DELLA PENNA, G.; Intrigila, B.; Zilli, Marisa

2002 Tronci, Enrico; G., DELLA PENNA; B., Intrigila; Zilli, Marisa

2003 G., DELLA PENNA; B., Intrigila; Tronci, Enrico; Zilli, Marisa

2004 Giuseppe Della, Penna; Benedetto, Intrigila; Melatti, Igor; Tronci, Enrico; Zilli, Marisa

2006 GIUSEPPE DELLA, Penna; Benedetto, Intrigila; Melatti, Igor; Tronci, Enrico; Zilli, Marisa

2006 iuseppe Della, Penna; Benedetto, Intrigila; Melatti, Igor; Tronci, Enrico; Zilli, Marisa

Titolo	Data di pubblicazione	Autore(i)
A Probabilistic Approach to Space-Time Trading in Automatic Verification of Concurrent Systems	2001	Tronci, Enrico; G., DELLA PENNA; B., Intrigila; Zilli, Marisa
Exploiting Transition Locality in Automatic Verification	2001	Tronci, Enrico; DELLA PENNA, G.; Intrigila, B.; Zilli, Marisa
Exploiting Transition Locality in the disk based Murphi Verifier	2002	Tronci, Enrico; G., DELLA PENNA; B., Intrigila; Zilli, Marisa
Synchronized Regular Expressions	2003	G., DELLA PENNA; B., Intrigila; Tronci, Enrico; Zilli, Marisa
CMurphi	2004	Giuseppe Della, Penna; Benedetto, Intrigila; Melatti, Igor; Tronci, Enrico; Zilli, Marisa
Finite Horizon Analysis of Markov Chains with the Murphi Verifier	2006	GIUSEPPE DELLA, Penna; Benedetto, Intrigila; Melatti, Igor; Tronci, Enrico; Zilli, Marisa
FHP-Murphi	2006	iuseppe Della, Penna; Benedetto, Intrigila; Melatti, Igor; Tronci, Enrico; Zilli, Marisa

Mostrati risultati da 1 a 7 di 7