2015 22nd International Symposium on Temporal Representation and Reasoning (TIME)

ISSN: 1530-1311
Publisher:

Publications (1)

close-button

Types of publications

Journal article
Unpublished / Preprint

Publication year

From
To

Abstract

Global Caching for the Flat Coalgebraic mu-Calculus (2015) Hausmann D, Schröder L Conference contribution, Original article