1 paper
Roland Kindermann, Tommi Junttila, Ilkka Niemelä
Modeling time related aspects is important in many applications of verification methods. For precise results, it is necessary to interpret time as a dense domain, e.g. using timed…