Additional Metadata
THEME Software (theme 1)
Publisher IOS Press
Journal Fundamenta Informaticae
Citation
Fokkink, W.J, Pang, J, & Wijs, A.J. (2008). Is timed branching bisimilarity a congruence indeed?. Fundamenta Informaticae, 87(3/4), 287–311.