APAC: A tool for Reasoning about Abstract Probabilistic Automata

Benoît Delahaye, Kim Guldstrand Larsen, Alex Legay, Mikkel L. Pedersen, Andrzej Wasowski

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

8 Citationer (Scopus)
OriginalsprogEngelsk
TitelProceedings of the 2011 8th International Conference on Quantitative Evaluation of Systems, QEST 2011
Antal sider2
ForlagIEEE Computer Society Press
Publikationsdato1 jan. 2011
Sider151-152
ISBN (Trykt)978-0-7695-4491-5
DOI
StatusUdgivet - 1 jan. 2011
Begivenhed8th International Conference on Quantitative Evaluation of Systems - Aachen, Tyskland
Varighed: 5 sep. 20118 sep. 2011
Konferencens nummer: 8

Konference

Konference8th International Conference on Quantitative Evaluation of Systems
Nummer8
LandTyskland
ByAachen
Periode05/09/201108/09/2011

Fingeraftryk Dyk ned i forskningsemnerne om 'APAC: A tool for Reasoning about Abstract Probabilistic Automata'. Sammen danner de et unikt fingeraftryk.

Citationsformater