search result

Cover von Metric Linear-Time Temporal Logic with Strict First-Time Semantics

Metric Linear-Time Temporal Logic with Strict First-Time Semantics

Year: 2025
Media group: LIPIcs
Cover von Automata Theory and Logic
Author: Hofmann, Martin; Lange, Martin Search for this author
Year: 2025
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
Cover von Automatentheorie und Logik
Author: Hofmann, Martin; Lange, Martin Search for this author
Year: 2011
Publisher: Berlin, Springer
Series: eXamen.press
Media group: MONOGRAPHIE
Cover von On the Expressive Power of Hybrid Branching-Time Logics

On the Expressive Power of Hybrid Branching-Time Logics

Year: 2018
Media group: LIPIcs
Cover von The Fully Hybrid mu-Calculus

The Fully Hybrid mu-Calculus

Year: 2017
Media group: LIPIcs
Cover von Informatik 2019
50 Jahre Gesellschaft für Informatik, Workshop-Beiträge, Fachtagung vom 23. - 26. September 2019 in Kassel
Search for this author
Year: 2019
Publisher: Bonn, Gesellschaft für Informatik e.V.
Series: Lecture notes in informatics / P; 295
Media group: CD
Cover von Model Checking Timed Recursive CTL

Model Checking Timed Recursive CTL

Year: 2021
Media group: LIPIcs
Cover von A Decidable Non-Regular Modal Fixpoint Logic

A Decidable Non-Regular Modal Fixpoint Logic

Year: 2021
Media group: LIPIcs
Cover von Temporal Logic with Recursion

Temporal Logic with Recursion

Year: 2020
Media group: LIPIcs
Cover von Enabling Things to Talk
Designing IoT solutions with the IoT Architectural Reference Model
Search for this author
Year: 2013
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
OPEN V 11.1.0.0