Rigorous Component-Based System Design - (Invited Paper) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ananda Basu, Saddek Bensalem, Marius Bozga, Joseph Sifakis. Rigorous Component-Based System Design - (Invited Paper). In Franciso Durán, editor, Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers. Volume 7571 of Lecture Notes in Computer Science, pages 1-9, Springer, 2012. [doi]

This author has not been identified. Look up 'Ananda Basu' in GoogleThis author has not been identified. Look up 'Saddek Bensalem' in GoogleThis author has not been identified. Look up 'Marius Bozga' in GoogleThis author has not been identified. Look up 'Joseph Sifakis' in Google

runs on WebDSL