CINECA IRIS Institutional Research Information System

Compositional model checking of product-form CTMCs.

HORVATH, Andras
2007-01-01
2007
7th International Workshop on Automated Verification of Critical Systems (AVOCS'07)
Oxford
10–12 September, 2007
Proc. of 7th International Workshop on Automated Verification of Critical Systems (AVOCS'07).
Michael Goldsmith, Bill Roscoe
1
16
P. BALLARINI; A. HORVATH
04A-Conference paper in volume
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/24235
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? ND
social impact