Publikationen

@INPROCEEDINGS{Cordy2012,
  author = {Maxime Cordy and Joel Greenyer and Patrick Heymans and Amir Molzam
	Sharifloo},
  title = {{E}fficient {C}onsistency {C}hecking of {S}cenario-based {P}roduct
	{L}ine {S}pecifications},
  booktitle = {Proceedings of the 20th International Requirements Engineering Conference
	(RE 2012)},
  year = {2012},
  editor = {Mats Per Erik Heimdahl and Pete Sawyer},
  pages = {161-170},
  publisher = {IEEE},
  url = {http://jgreen.de/wp-content/documents/2012/ConsistencyCheckingScenarioBasedProductLineSpecifications.pdf}
}