Is timed branching bisimilarity an equivalence indeed (2005)

Cached

Download Links

by Wan Fokkink , Jun Pang , Anton Wijs
Venue:In Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005
Citations:3 - 2 self