MTL and TPTL for One-Counter Machines: Expressiveness, Model Checking, and Satisfiability

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

Beitragende

Details

OriginalspracheEnglisch
Seiten (von - bis)1-34
Seitenumfang34
FachzeitschriftACM Transactions on Computational Logic : TOCL
Jahrgang21
Ausgabenummer2
PublikationsstatusVeröffentlicht - 2020
Peer-Review-StatusJa

Externe IDs

Scopus 85077731101

Schlagworte

Bibliotheksschlagworte