Refinement and Difference for Probabilistic Automata

Benoit Delahaye, Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

3 Citationer (Scopus)
OriginalsprogEngelsk
TitelQuantitative Evaluation of Systems : 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
Vol/bind8054
ForlagSpringer Publishing Company
Publikationsdato2013
Sider22-38
ISBN (Trykt)978-3-642-40195-4
ISBN (Elektronisk)978-3-642-40196-1
DOI
StatusUdgivet - 2013
Begivenhed10th International Conference on Quantitative Evaluation of SysTems - University of Buenos Aires, Buenos Aires, Argentina
Varighed: 27 aug. 201330 aug. 2013
Konferencens nummer: 10th

Konference

Konference10th International Conference on Quantitative Evaluation of SysTems
Nummer10th
LokationUniversity of Buenos Aires
LandArgentina
ByBuenos Aires
Periode27/08/201330/08/2013
NavnLecture Notes in Computer Science
ISSN0302-9743

Citationsformater