Time-Abstracting Bisimulation for Probabilistic Timed Automata.

Taolue Chen, Tingting Han, Joost-Pieter Katoen

Browse the full TASE paper archive.