Artykuł w czasopiśmie
Brak miniatury
Licencja
ClosedAccessDostęp zamknięty

Binary Reachability of Timed-register Pushdown Automata and Branching Vector Addition Systems

Pokaż widok metadanych
DOI
10.1145/3326161
Autor
Lasota, Sławomir
Clemente, Lorenzo
Mazowiecki, Filip
Lazić, Ranko
Data publikacji
2019
Dyscyplina PBN
informatyka
Czasopismo
ACM Transactions on Computational Logic
Tom
20
Zeszyt
3
Strony od-do
1-31
ISSN
1529-3785
Link do źródła
http://dl.acm.org/ft_gateway.cfm?id=3326161&ftid=2064379&dwn=1
Licencja otwartego dostępu
Dostęp zamknięty