Artykuł w czasopiśmie
Brak miniatury
Licencja
CC-BY - Uznanie autorstwaReachability for Bounded Branching VASS
Autor
Mazowiecki, Filip
Data publikacji
2019
Słowa kluczowe EN
Branching VASS
counter machines
reachability problem
bobrvass
Dyscyplina PBN
informatyka
Tom
140
Strony od-do
28:1--28:13
Data udostępnienia w otwartym dostępie
2019-08-20
Link do źródła
Licencja otwartego dostępu
Uznanie autorstwa