Cheryl Dietz

Publication Activity (10 Years)

Years Active: 1994-1997
Publications (10 Years): 0

Publications

Henning Dierks, Cheryl Dietz
Graphical Specification and Reasoning: Case Study Generalised Railroad Crossing. FME (1997)
Cheryl Dietz
Graphical Formalization of Real-Time Requirements. FTRTFT (1996)
Cheryl Dietz, Gerlinde Schreiber
A Term Representation of P/T Systems. Application and Theory of Petri Nets (1994)