der Zwaag. Completeness of timed µCRL (2000)

by J F Groote, M A Reniers, J J van Wamel, M B van
Venue:Fundamenta Informaticae