DMCA

Performance analysis of probabilistic timed automata using digital clocks (2003)

by Marta Kwiatkowska , Gethin Norman , David Parker , Jeremy Sproston
Venue:Proc. Formal Modeling and Analysis of Timed Systems (FORMATS’03), volume 2791 of LNCS
Citations:74 - 39 self