Faella, Marco (2006) Compositional Quantitative Reasoning. In: QEST'06, September, 2006, Riverside, USA.

Full text not available from this repository.
Item Type: Conference or Workshop Item (UNSPECIFIED)
Language: English
Title: Compositional Quantitative Reasoning
Creators:
CreatorsEmail
Faella, MarcoUNSPECIFIED
Autor/s: K. Chatterjee, L. de Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga
Date: 2006
Number of Pages: 0
Department: Scienze fisiche
Identification Number: 10.1109/QEST.2006.10
Event Title: QEST'06
Event Location: Riverside, USA
Event Dates: September, 2006
Title of Book: Proceedings of the Third International Conference on the Quantitative Evaluation of Systems
Country of publishing: STATI UNITI D'AMERICA
Publisher: IEEE Computer Society
Date: 2006
ISBN: 0-7695-2665-9
Page Range: pp. 179-188
Number of Pages: 0
Identification Number: 10.1109/QEST.2006.10
Date Deposited: 18 Oct 2010 08:15
Last Modified: 30 Apr 2014 19:41
URI: http://www.fedoa.unina.it/id/eprint/5628

Actions (login required)

View Item View Item