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

Separability of Reachability Sets of Vector Addition Systems

Uproszczony widok
cris.lastimport.scopus2024-02-12T20:14:40Z
dc.affiliationUniwersytet Warszawski
dc.conference.countryNiemcy
dc.conference.datefinish2017-03-11
dc.conference.datestart2017-03-08
dc.conference.placeHannover
dc.conference.seriesInternational Symposium on Theoretical Aspects of Computer Science
dc.conference.seriesInternational Symposium on Theoretical Aspects of Computer Science
dc.conference.seriesshortcutSTACS
dc.conference.shortcutSTACS 2017
dc.conference.weblinkhttps://stacs2017.thi.uni-hannover.de/
dc.contributor.authorLasota, Sławomir
dc.contributor.authorPaperman, Charles
dc.contributor.authorCzerwiński, Wojciech
dc.contributor.authorClemente, Lorenzo
dc.date.accessioned2024-01-26T07:31:51Z
dc.date.available2024-01-26T07:31:51Z
dc.date.issued2017
dc.description.financeNie dotyczy
dc.identifier.doi10.4230/LIPICS.STACS.2017.24
dc.identifier.urihttps://repozytorium.uw.edu.pl//handle/item/119639
dc.languageeng
dc.pbn.affiliationcomputer and information sciences
dc.rightsClosedAccess
dc.sciencecloudnosend
dc.titleSeparability of Reachability Sets of Vector Addition Systems
dc.typeJournalArticle
dspace.entity.typePublication