Tilbage til artikeldetaljer
A Characterization of Finitary Bisimulation
Download
Download PDF