| |
| 1997 | ||
|---|---|---|
| 3 | Henning Dierks, Cheryl Dietz: Graphical Specification and Reasoning: Case Study Generalised Railroad Crossing. FME 1997: 20-39 | |
| 1996 | ||
| 2 | Cheryl Dietz: Graphical Formalization of Real-Time Requirements. FTRTFT 1996: 366-384 | |
| 1994 | ||
| 1 | Cheryl Dietz, Gerlinde Schreiber: A Term Representation of P/T Systems. Application and Theory of Petri Nets 1994: 239-257 | |
| 1 | Henning Dierks | [3] |
| 2 | Gerlinde Schreiber | [1] |