DescriptionStuttering Equivalence.pdf English: Two paths pi and pi' that are "stuttering equivalent". That is, the nodes in block k have the same state...
Accession number 9608642.nlm.nih.gov Source Internet Archive identifier: 9608642.nlm.nih.gov https://archive.org/download/9608642.nlm.nih.gov/9608642.pdf...