Approximate symbolic model checking of continuous-time Markov chains (Extended Abstract) (1999)

Cached

Download Links

by Christel Baier , Joost-pieter Katoen , Holger Hermanns
Citations:122 - 22 self