Time-Abstracting Bisimulation for Probabilistic Timed Automata
- T. Chen
- , Tingting Han
- , Joost P. Katoen
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
8
Link opens in a new tab
Citations
(Scopus)
5
Downloads
(Pure)