Publications
Export 1 results:
Author Title [ Type
] Year Filters: First Letter Of Title is P and Author is A. Legay [Clear All Filters]
.
2016. On the Power of Statistical Model Checking. ISoLA 2016. :843-862.
] Year Search
] Year ] Year 
ICT-Energy group
