Catalogo dei prodotti della ricerca

A Probabilistic Approach to Space-Time Trading in Automatic Verification of Concurrent Systems

A Probabilistic Approach to Space-Time Trading in Automatic Verification of Concurrent Systems / Tronci, Enrico; G., DELLA PENNA; B., Intrigila; Zilli, Marisa. - STAMPA. - (2001), pp. 317-324. (Intervento presentato al convegno 8th Asia-Pacific Software Engineering Conference (APSEC 2001) tenutosi a Macau SAR, China nel 4-7- Dec. 2001).

A Probabilistic Approach to Space-Time Trading in Automatic Verification of Concurrent Systems

TRONCI, Enrico;ZILLI, Marisa
2001

Abstract

A Probabilistic Approach to Space-Time Trading in Automatic Verification of Concurrent Systems
2001
8th Asia-Pacific Software Engineering Conference (APSEC 2001)
04 Pubblicazione in atti di convegno::04b Atto di convegno in volume
A Probabilistic Approach to Space-Time Trading in Automatic Verification of Concurrent Systems / Tronci, Enrico; G., DELLA PENNA; B., Intrigila; Zilli, Marisa. - STAMPA. - (2001), pp. 317-324. (Intervento presentato al convegno 8th Asia-Pacific Software Engineering Conference (APSEC 2001) tenutosi a Macau SAR, China nel 4-7- Dec. 2001).
04b Atto di convegno in volume
File allegati a 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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/251051
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact