An Approach to Formalization and Analysis of Message Passing Libraries - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby. An Approach to Formalization and Analysis of Message Passing Libraries. In Stefan Leue, Pedro Merino, editors, Formal Methods for Industrial Critical Systems, 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers. Volume 4916 of Lecture Notes in Computer Science, pages 164-181, Springer, 2007. [doi]

This author has not been identified. Look up 'Robert Palmer' in GoogleThis author has not been identified. Look up 'Michael Delisi' in GoogleThis author has not been identified. Look up 'Ganesh Gopalakrishnan' in GoogleThis author has not been identified. Look up 'Robert M. Kirby' in Google

runs on WebDSL