A Characterization of Finitary Bisimulation

Luca Aceto, Anna Ingolfsdottir

Publikation: Bog/antologi/afhandling/rapportBogForskning

3 Citationer (Scopus)
OriginalsprogEngelsk
UdgivelsesstedÅrhus
ForlagDepartment of Computer Science, Aarhus University
StatusUdgivet - 1997
NavnBRICS Report Series
NummerRS-97-26
ISSN0909-0878

Citationsformater