Tepel, Jörg JustusJörg JustusTepel2019-09-192014-09-242002https://fis.uni-bamberg.de/handle/uniba/7612Zugl.: Bamberg, Univ., Diss., 2002deuEin prozessorientierter Ansatz zur formalen Spezifikation von Projektendoctoralthesis