Login / Signup
Theodor Hildebrand
Publication Activity (10 Years)
Years Active: 1984-1992
Publications (10 Years): 0
</>
Publications
</>
Kees M. van Hee
,
Theodor Hildebrand
,
Sergio Copelli
PROOFS: Application engineering based on formal methods.
Microprocess. Microprogramming
35 (1-5) (1992)
Theodor Hildebrand
,
Nicolas Trèeves
: a method for the development of electronic payment systems.
European Workshop on Applications and Theory in Petri Nets
(1988)
Theodor Hildebrand
Design and programming of interfaces for monetic applications using Petri nets.
European Workshop on Applications and Theory in Petri Nets
(1984)