Designing a LTL Model-Checker Based on Unfolding Graphs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jean-Michel Couvreur, Sébastien Grivet, Denis Poitrenaud. Designing a LTL Model-Checker Based on Unfolding Graphs. In Mogens Nielsen, Dan Simpson, editors, Application and Theory of Petri Nets 2000, 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding. Volume 1825 of Lecture Notes in Computer Science, pages 123-145, Springer, 2000. [doi]

This author has not been identified. Look up 'Jean-Michel Couvreur' in GoogleThis author has not been identified. Look up 'Sébastien Grivet' in GoogleThis author has not been identified. Look up 'Denis Poitrenaud' in Google

runs on WebDSL