This file was created with JabRef 2.2.
Encoding: ANSI_X3.4-1968

@INPROCEEDINGS{gear:user-session,
  author = {Marco Bakera and Tiziana Margaria and Clemens D. Renner and Bernhard
	Steffen},
  title = {Verification, Diagnosis and Adaptation: Tool supported enhancement
	of the model-driven verification process},
  booktitle = {ISoLA Workshop},
  year = {2007},
  editor = {Yamine Ait-Ameur and Frederic Boniol and Virginie Wiels},
  owner = {renner},
  pdf = {isola07/gear-user-session.pdf},
  timestamp = {2007.09.26}
}

@INPROCEEDINGS{gear:games-nofixpoints,
  author = {Marco Bakera and Tiziana Margaria and Clemens D. Renner and Bernhard
	Steffen},
  title = {Property-driven functional healing: Playing against undesired behavior},
  booktitle = {Business Process Engineering, Proceedings of the CONQUEST 2007},
  year = {2007},
  editor = {Ina Schieferdecker and Stephan Goericke},
  owner = {renner},
  timestamp = {2007.09.25}
}

@MASTERSTHESIS{diplomathesis,
  author = {Clemens D. Renner},
  title = {Sicherheit in Rechensystemen durch L{"o}sen von Constraintproblemen},
  school = {University of Dortmund, Germany},
  year = {2006},
  owner = {renner},
  timestamp = {2007.12.07}
}

@comment{jabref-meta: selector_publisher:}

@comment{jabref-meta: selector_author:}

@comment{jabref-meta: selector_journal:}

@comment{jabref-meta: selector_keywords:}