Specification and Verification of Synchronizing Concurrent Objects - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gabriel Ciobanu, Dorel Lucanu. Specification and Verification of Synchronizing Concurrent Objects. In Eerke Boiten, John Derrick, Graeme Smith, editors, Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings. Volume 2999 of Lecture Notes in Computer Science, pages 307-327, Springer, 2004. [doi]

This author has not been identified. It may be one of the following persons:

Gabriel Ciobanu

Look up 'Gabriel Ciobanu' in GoogleThis author has not been identified. Look up 'Dorel Lucanu' in Google

runs on WebDSL