Completeness of timed µCRL. Fundamenta Informaticae 50(3-4 (2002)

by M A Reniers, J F Groote, M B van der Zwaag, J van Wamel