| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 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] |
Colors in the list of coauthors
Last update Tue May 29 20:41:18 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page