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

Higher-Order Model Checking Step by Step

Uproszczony widok
cris.lastimport.scopus2024-02-12T20:22:53Z
dc.affiliationUniwersytet Warszawski
dc.conference.countryWielka Brytania
dc.conference.datefinish2021-07-16
dc.conference.datestart2021-07-12
dc.conference.placeGlasgow
dc.conference.seriesInternational Colloquium on Automata Languages and Programming
dc.conference.seriesInternational Colloquium on Automata Languages and Programming
dc.conference.seriesshortcutICALP
dc.conference.shortcutICALP 2021
dc.conference.weblinkhttp://easyconferences.eu/icalp2021/
dc.contributor.authorParys, Paweł
dc.date.accessioned2024-01-25T03:08:50Z
dc.date.available2024-01-25T03:08:50Z
dc.date.issued2021
dc.description.financePublikacja bezkosztowa
dc.description.volume198
dc.identifier.doi10.4230/LIPICS.ICALP.2021.140
dc.identifier.urihttps://repozytorium.uw.edu.pl//handle/item/108458
dc.identifier.weblinkhttps://doi.org/10.4230/LIPIcs.ICALP.2021.140
dc.languageeng
dc.pbn.affiliationcomputer and information sciences
dc.relation.pages140:1--140:16
dc.rightsClosedAccess
dc.sciencecloudnosend
dc.titleHigher-Order Model Checking Step by Step
dc.typeJournalArticle
dspace.entity.typePublication