No. 26 (1997): RS-26 A Characterization of Finitary Bisimulation

Published: 1997-01-26

Articles