Translating FSP into LOTOS and Networks of Automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gwen Salaün, Jeff Kramer, Frédéric Lang, Jeff Magee. Translating FSP into LOTOS and Networks of Automata. In Jim Davies, Jeremy Gibbons, editors, Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings. Volume 4591 of Lecture Notes in Computer Science, pages 558-578, Springer, 2007. [doi]

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

Gwen Salaün

Look up 'Gwen Salaün' in GoogleThis author has not been identified. Look up 'Jeff Kramer' in GoogleThis author has not been identified. Look up 'Frédéric Lang' in GoogleThis author has not been identified. Look up 'Jeff Magee' in Google

runs on WebDSL