Antichains: A New Algorithm for Checking Universality of Finite Automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Martin De Wulf, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin. Antichains: A New Algorithm for Checking Universality of Finite Automata. In Thomas Ball, Robert B. Jones, editors, Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Volume 4144 of Lecture Notes in Computer Science, pages 17-30, Springer, 2006. [doi]

This author has not been identified. Look up 'Martin De Wulf' in GoogleThis author has not been identified. Look up 'Laurent Doyen' in GoogleThis author has not been identified. Look up 'Thomas A. Henzinger' in GoogleThis author has not been identified. Look up 'Jean-François Raskin' in Google

runs on WebDSL