Publications

@inproceedings{BGS05a_ag,
  author = {B. Becker AND H. Giese AND D. Schilling},
  title = {A Plugin for Checking Inductive Invariants when Modeling with Class Diagrams and Story Patterns},
  booktitle = {Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany},
  year = {2005}
}