Implementing LTL Model Checking with Net Unfoldings - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Javier Esparza, Keijo Heljanko. Implementing LTL Model Checking with Net Unfoldings. In Matthew B. Dwyer, editor, Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings. Volume 2057 of Lecture Notes in Computer Science, pages 37-56, Springer, 2001. [doi]

This author has not been identified. Look up 'Javier Esparza' in GoogleThis author has not been identified. Look up 'Keijo Heljanko' in Google

runs on WebDSL