Doorgaan naar hoofdnavigatie Doorgaan naar zoeken Ga verder naar hoofdinhoud

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

Onderzoeksoutput: Boek/rapportRapportAcademic

234 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

Citeer dit