Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Martin Fränzle, Michael R. Hansen. Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations. In Antonio Cerone, Stefan Gruner, editors, Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008. pages 63-72, IEEE Computer Society, 2008. [doi]

This author has not been identified. Look up 'Martin Fränzle' in GoogleThis author has not been identified. Look up 'Michael R. Hansen' in Google

runs on WebDSL