Publications

Export 2 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Strelec, Martin  [Clear All Filters]
2013
S. Chakraborty, M. Strelec, J. - P. Katoen, and F. Sher, “Modelling and Statistical Model Checking of a Microgrid”, in Workshop on Statistical Model Checking (SMC), 2013.