Artykuł w czasopiśmie
Brak miniatury
Licencja
Regular Separability of Well-Structured Transition Systems
dc.affiliation | Uniwersytet Warszawski |
dc.conference.country | Chiny |
dc.conference.datefinish | 2018-09-07 |
dc.conference.datestart | 2018-09-04 |
dc.conference.place | Beijing |
dc.conference.series | International Conference on Concurrency Theory |
dc.conference.series | International Conference on Concurrency Theory |
dc.conference.seriesshortcut | CONCUR |
dc.conference.shortcut | CONCUR 2018 |
dc.conference.weblink | http://lcs.ios.ac.cn/concur2018/ |
dc.contributor.author | Lasota, Sławomir |
dc.contributor.author | Czerwiński, Wojciech |
dc.contributor.author | Meyer, Roland |
dc.contributor.author | Saivasan, Prakash |
dc.contributor.author | Muskalla, Sebastian |
dc.contributor.author | Kumar, K. Narayan |
dc.date.accessioned | 2024-01-25T19:09:30Z |
dc.date.available | 2024-01-25T19:09:30Z |
dc.date.issued | 2018 |
dc.description.finance | Nie dotyczy |
dc.identifier.doi | 10.4230/LIPICS.CONCUR.2018.35 |
dc.identifier.uri | https://repozytorium.uw.edu.pl//handle/item/118215 |
dc.language | eng |
dc.pbn.affiliation | computer and information sciences |
dc.rights | ClosedAccess |
dc.sciencecloud | nosend |
dc.title | Regular Separability of Well-Structured Transition Systems |
dc.type | JournalArticle |
dspace.entity.type | Publication |