Artykuł w czasopiśmie
Brak miniatury
Licencja
Dostęp zamkniętyModel-Checking on Ordered Structures
Autor
Kreutzer, Stephan
Mendez, Patrice Ossona de
Heuvel, Jan van den
Kawarabayashi, Ken-Ichi
Siebertz, Sebastian
Quiroz, Daniel A.
Rabinovich, Roman
Eickmeyer, Kord
Data publikacji
2020
Dyscyplina PBN
informatyka
Czasopismo
ACM Transactions on Computational Logic
Tom
21
Zeszyt
2
Strony od-do
11:1-11:28
ISSN
1529-3785
Link do źródła
Licencja otwartego dostępu
Dostęp zamknięty