Relators andmetric bisimulations, in: Horst Reichel Bart (0)

by J J M M Rutten
Venue:Rutten (Eds.), Electronic Notes in Theoretical Computer Science