Learning Probabilistic Automata for Model Checking
Publikation: Forskning - peer review › Konferenceartikel i proceeding
| Originalsprog | Engelsk |
|---|---|
| Titel | 8th International Conference on Quantitative Evaluation of Systems (QEST) |
| Antal sider | 10 |
| Udgiver | IEEE |
| Udgivelsesdato | 2011 |
| Sider | 111-120 |
| ISBN (trykt) | 978-1-4577-0973-9 |
| DOI | |
| Status | Udgivet |
Konference
| Konference | Quantitative Evaluation of Systems (QEST), 2011 Eighth International Conference on |
|---|---|
| Land | Tyskland |
| By | Aachen |
| Periode | 05-08-11 → 08-08-11 |
Indlæser lokationer...
Download-statistik
Ingen data tilgængelig
ID: 56399577