Faella, Marco (2007) Qualitative Logics and Equivalences for Probabilistic Systems. In: QEST'07, September, 2007, Edimburgh, UK.

Full text not available from this repository.
Item Type: Conference or Workshop Item (UNSPECIFIED)
Language: English
Title: Qualitative Logics and Equivalences for Probabilistic Systems
Creators:
CreatorsEmail
Faella, MarcoUNSPECIFIED
Autor/s: L. DE ALFARO; K. CHATTERJEE; M. FAELLA; A. LEGAY
Date: 2007
Number of Pages: 0
Department: Scienze fisiche
Event Title: QEST'07
Event Location: Edimburgh, UK
Event Dates: September, 2007
Title of Book: Proceedings of the 4th International Conference on Quantitative Evaluation of Systems (QEST07)
Country of publishing: STATI UNITI D'AMERICA
Publisher: IEEE Computer Society
Date: 2007
ISBN: 0-7695-2883-X
Page Range: pp. 237-248
Number of Pages: 0
Date Deposited: 18 Oct 2010 08:15
Last Modified: 30 Apr 2014 19:41
URI: http://www.fedoa.unina.it/id/eprint/5679

Actions (login required)

View Item View Item