Publications

@inproceedings{HG03_ag,
  author = {M. Hirsch AND H. Giese},
  title = {Towards the Incremental Model Checking of Complex RealTime UML Models},
  booktitle = {Proc. of the first International Fujaba Days 2003, Kassel, Germany},
  year = {2003}
}