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

History-dependent nominal μ-calculus

Pokaż widok metadanych
DOI
10.1109/LICS.2019.8785736
Autor
Klin, Bartosz
Eberhart, Clovis
Data publikacji
2019
Dyscyplina PBN
informatyka
Link do źródła
http://www.scopus.com/inward/record.url?eid=2-s2.0-85070779735&partnerID=MN8TOARS
Licencja otwartego dostępu
Dostęp zamknięty