Theodor Hildebrand

According to our database, Theodor Hildebrand authored at least 3 papers between 1984 and 1992.

Collaborative distances:

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

1992

PROOFS: Application engineering based on formal methods.

Kees M. van Hee, Theodor Hildebrand, Sergio Copelli

Microprocess. Microprogramming, 1992

1988

S-CORT^(R): a method for the development of electronic payment systems.

Theodor Hildebrand, Nicolas Trèeves

Proceedings of the Advances in Petri Nets 1989, 1988

1984

Design and programming of interfaces for monetic applications using Petri nets.

Theodor Hildebrand

Proceedings of the Advances in Petri Nets 1984, 1984