Publication:4584892

From MaRDI portal

Revision as of 13:44, 7 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to:navigation, search

zbMath1394.68233MaRDI QIDQ4584892

Julian Müller, Martin Mundhenk, Heribert Vollmer, Arne Meier

Publication date: 4 September 2018

Full work available at URL: http://eatcs.org/beatcs/index.php/beatcs/article/view/50

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

03B45: Modal logic (including the logic of norms)

68Q60: Specification and verification (program logics, model checking, etc.)

03B44: Temporal logic

Related Items

The model checking fingerprints of CTL operators

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4584892&oldid=18734303"