On Zone-Based Analysis of Duration Probabilistic Automata
Publication: Research - peer-review › Article in proceeding
| Original language | English |
|---|---|
| Title | Proceedings of the 12th International Workshop on Verification of Infinite-State Systems |
| Number of pages | 15 |
| Publication date | Sep 2010 |
| DOIs | |
| State | Published |
Workshop
| Workshop | 12th International Workshop on Verification of Infinite-State Systems (INFINITY'10) |
|---|---|
| Nummer | 12th |
| Land | Singapore |
| Periode | 21/09/10 → 21/09/10 |
| Internetadresse | http://www.it.uu.se/workshop/infinity2010/ |
Loading map data...
ID: 35313624