1
Formale Beschreibungstechniken für verteilte Systeme /
Book
Other Personal Name(s): ...Hogrefe, Dieter....
2
TESDL: a tool for generating test cases from SDL specifications.
Book
Other Personal Name(s): ...Hogrefe, Dieter....
3
Protocol and service specification with SDL: the X.25 case study.
Book
Other Personal Name(s): ...Hogrefe, Dieter....