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

Publiceret: 1997-01-26

Artikler