Computer Science Logic

DOI10.1007/B100120zbMath1095.03018OpenAlexW2481899496MaRDI QIDQ5311265

Philipp Rohde

Publication date: 22 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b100120

zbMATH Keywords

model checkingmodal logicsdynamic logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (5)

Separation logics and modalities: a survey ⋮ Introducing reactive Kripke semantics and arc accessibility ⋮ Moving in a network under random failures: a complexity analysis ⋮ On sabotage games ⋮ A Game Theoretic Approach to the Analysis of Dynamic Networks

This page was built for publication: Computer Science Logic