Submitted by chiara.mezzetti on
| Title | On the Power of Statistical Model Checking |
| Publication Type | Conference Proceedings |
| Year of Conference | 2016 |
| Authors | Larsen K.G, Legay A. |
| Conference Name | ISoLA 2016 |
| Pagination | 843-862 |
| Publisher | Springer |
| ISBN | 978-3-319-47168-6 |
ICT-Energy group
