DMCA

MODEL CHECKING OF CONTINUOUS-TIME MARKOV CHAINS AGAINST TIMED AUTOMATA SPECIFICATIONS (2009)

by Taolue Chen A , Tingting Han B , Joost-pieter Katoen C , Alexandru Mereacre D