search result

Cover von Model-Checking Counting Temporal Logics on Flat Structures

Model-Checking Counting Temporal Logics on Flat Structures

Year: 2017
Media group: LIPIcs
OPEN V 11.1.0.0