Learning Probabilistic Automata for Model Checking

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

33 Citationer (Scopus)
756 Downloads (Pure)
OriginalsprogEngelsk
Titel8th International Conference on Quantitative Evaluation of Systems (QEST)
Antal sider10
ForlagIEEE
Publikationsdato2011
Sider111-120
ISBN (Trykt)978-1-4577-0973-9
DOI
StatusUdgivet - 2011
BegivenhedQuantitative Evaluation of Systems (QEST), 2011 Eighth International Conference on - Aachen, Tyskland
Varighed: 5 aug. 20118 aug. 2011

Konference

KonferenceQuantitative Evaluation of Systems (QEST), 2011 Eighth International Conference on
LandTyskland
ByAachen
Periode05/08/201108/08/2011

Citationsformater