LICS 2016 invited talk
May 20, 2016
Joost-Pieter Katoen will give an invited talk on “The Probabilistic Model Checking Landscape” at LICS 2016 in New York City, early July 2016. The accompanying paper can be found here.
May 20, 2016
Joost-Pieter Katoen will give an invited talk on “The Probabilistic Model Checking Landscape” at LICS 2016 in New York City, early July 2016. The accompanying paper can be found here.