A Tool for Intersecting Context-Free Grammars and Its Applications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey. A Tool for Intersecting Context-Free Grammars and Its Applications. In Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi, editors, NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings. Volume 9058 of Lecture Notes in Computer Science, pages 422-428, Springer, 2015. [doi]

This author has not been identified. Look up 'Graeme Gange' in GoogleThis author has not been identified. Look up 'Jorge A. Navas' in GoogleThis author has not been identified. Look up 'Peter Schachte' in GoogleThis author has not been identified. Look up 'Harald Søndergaard' in GoogleThis author has not been identified. Look up 'Peter J. Stuckey' in Google

runs on WebDSL