Algebraic representation of bisimulation for the tagh-format

A. Sokolova, E.P. Vink, de

Onderzoeksoutput: Boek/rapport › Rapport › Academic

67 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's17
StatusGepubliceerd - 2002

Publicatie series

NaamComputer science reports
Volume0202
ISSN van geprinte versie0926-4515

Toegang tot document

  • 200210759Definitieve gepubliceerde versie, 181 KB

    Citeer dit