E. Hintze

According to our database, E. Hintze authored at least 2 papers between 1998 and 1999.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1999

Anwendung von gefärbten NCES zur Verifikation der C2-Verbindung des erweiterten PROFIBUS-DP-Protokolls.

Arndt Lüder, E. Hintze, Christian Schwab

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1999

1998

Prädikat/Transitions-Netz-Condition/Event-Systeme zur Modellierung von Kommunikationssystemen.

Arndt Lüder, E. Hintze, A. Pöschmann, Hans-Michael Hanisch

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1998