Symbolic model checking of software product lines - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Andreas Classen, Patrick Heymans, Pierre Yves Schobbens, Axel Legay. Symbolic model checking of software product lines. In Richard N. Taylor, Harald Gall, Nenad Medvidovic, editors, Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011. pages 321-330, ACM, 2011. [doi]

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

Patrick Heymans

Look up 'Patrick Heymans' in GoogleIdentified as Pierre Yves Schobbens This author has not been identified. Look up 'Axel Legay' in Google

runs on WebDSL