Binary Reachability of Timed-register Pushdown Automata and Branching Vector Addition Systems
Binary Reachability of Timed-register Pushdown Automata and Branching Vector Addition Systems
Autor
Punktacja ministerialna
100
Data publikacji
Dyscyplina PBN
informatyka
Czasopismo
ACM Transactions on Computational Logic
Tom
20
Zeszyt
3
Strony od-do
1-31
ISSN
1529-3785
Licencja otwartego dostępu
Dostęp zamknięty