Eine Methode zur kontrollierten Kontrollflussentfaltung und ihre Anwendung zur Präzisierung petrinetzbasierter Verifikationsmodelle

@inproceedings{Heinze2013EineMZ,
  title={Eine Methode zur kontrollierten Kontrollflussentfaltung und ihre Anwendung zur Pr{\"a}zisierung petrinetzbasierter Verifikationsmodelle},
  author={Thomas S. Heinze},
  year={2013}
}