Originalsprog | Engelsk |
---|---|
Tidsskrift | CoRR |
Vol/bind | abs/1106.3961 |
Antal sider | 10 |
Status | Udgivet - 2011 |
Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata
Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Axel Legay, Zheng Wang
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review