Publications

@inproceedings{HH08b_ag,
  author = {S. Henkler AND M. Hirsch},
  title = {Iterative Behavior Synthesis by Combining Formal Verification and Model-Based Testing},
  booktitle = {Postproc. of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany},
  year = {2008}
}