CINECA IRIS Institutional Research Information System

Probabilistic model checking of non-Markovian models with concurrent generally distributed timers.

HORVATH, Andras;
2011-01-01
2011
8th International Conference on the Quantitative Evaluation of Systems (QEST)
Aachen, Germany
Sept 2011
Proc. of 8th International Conference on the Quantitative Evaluation of Systems (QEST)
IEEE Computer Society
131
140
A. Horvath; M. Paolieri; L. Ridi; E. Vicario
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/94583
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? ND
social impact