An O(m log n) algorithm for stuttering equivalence and branching bisimulation

Jan Friso Groote, Anton Wijs

Onderzoeksoutput: Boek/rapport › Rapport › Academic

195 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's18
StatusGepubliceerd - 2015

Publicatie series

NaamComputer science reports
Volume1506
ISSN van geprinte versie0926-4515

Toegang tot document

  • CSR-15-06Definitieve gepubliceerde versie, 481 KB

    Citeer dit