47 citations · 115 across the 33 of their papers we have counts for
1 paper · 2 filters
Tomáš Brázdil, Ľuboš Korenčiak, Jan Krčál +2
We consider parametric version of fixed-delay continuous-time Markov chains (or equivalently deterministic and stochastic Petri nets, DSPN) where fixed-delay transitions are specif…