search result

Cover von Team Semantics for the Specification and Verification of Hyperproperties

Team Semantics for the Specification and Verification of Hyperproperties

Year: 2018
Media group: LIPIcs
Cover von History-Deterministic Parikh Automata

History-Deterministic Parikh Automata

Year: 2023
Media group: LIPIcs
Cover von Parikh Automata over Infinite Words

Parikh Automata over Infinite Words

Year: 2022
Media group: LIPIcs
Cover von A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct

A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct

Year: 2021
Media group: LIPIcs
Cover von HyperLTL Satisfiability Is Σ₁¹-Complete, HyperCTL* Satisfiability Is Σ₁²-Complete

HyperLTL Satisfiability Is Σ₁¹-Complete, HyperCTL* Satisfiability Is Σ₁²-Complete

Year: 2021
Media group: LIPIcs
Cover von Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users

Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users

Author: Palmskog, Karl; Serebrenik, Alexander; Zimmermann, Theo
Year: 2023
Media group: LIPIcs
OPEN V 11.1.0.0