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

Model-Checking on Ordered Structures

Uproszczony widok
dc.affiliationUniwersytet Warszawski
dc.contributor.authorKreutzer, Stephan
dc.contributor.authorPilipczuk, Michał
dc.contributor.authorMendez, Patrice Ossona de
dc.contributor.authorHeuvel, Jan van den
dc.contributor.authorKawarabayashi, Ken-Ichi
dc.contributor.authorSiebertz, Sebastian
dc.contributor.authorQuiroz, Daniel A.
dc.contributor.authorRabinovich, Roman
dc.contributor.authorEickmeyer, Kord
dc.date.accessioned2024-01-25T12:49:41Z
dc.date.available2024-01-25T12:49:41Z
dc.date.issued2020
dc.description.financePublikacja bezkosztowa
dc.description.number2
dc.description.volume21
dc.identifier.doi10.1145/3360011
dc.identifier.issn1529-3785
dc.identifier.urihttps://repozytorium.uw.edu.pl//handle/item/112742
dc.identifier.weblinkhttps://dl.acm.org/doi/pdf/10.1145/3360011
dc.languageeng
dc.pbn.affiliationcomputer and information sciences
dc.relation.ispartofACM Transactions on Computational Logic
dc.relation.pages11:1-11:28
dc.rightsClosedAccess
dc.sciencecloudnosend
dc.titleModel-Checking on Ordered Structures
dc.typeJournalArticle
dspace.entity.typePublication