CTL Model Checking for Labelled Tree Queries - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sylvain Hallé, Roger Villemaire, Omar Cherkaoui. CTL Model Checking for Labelled Tree Queries. In 13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 15-17 June 2006, Budapest, Hungary. pages 27-35, IEEE Computer Society, 2006. [doi]

Identified as Sylvain Hallé This author has not been identified. It may be one of the following persons:

Roger Villemaire

Look up 'Roger Villemaire' in GoogleIdentified as Omar Cherkaoui

runs on WebDSL