Journal Article
No Thumbnail Available
License
ClosedAccessClosed Access

Bisimulation Finiteness of Pushdown Systems Is Elementary

Show metadata view
DOI
10.1145/3373718.3394827
Author
Parys, Paweł
Göller, Stefan
Publication date
2020
PBN discipline
computer and information sciences
Pages from-to
521-534
Link to source
https://dl.acm.org/doi/pdf/10.1145/3373718.3394827
Open access license
Closed access