Marc Voorhoeve
Voorhoeve, M. (Marc), 1950-2011
Voorhoeve, Marc 1950-
Voorhoeve, Marc
VIAF ID: 65581141 ( Personal )
Permalink: http://viaf.org/viaf/65581141
Preferred Forms
- 100 0 _ ‡a Marc Voorhoeve
- 100 0 _ ‡a Marc Voorhoeve
-
- 100 1 _ ‡a Voorhoeve, Marc
- 100 1 _ ‡a Voorhoeve, Marc ‡d 1950-
4xx's: Alternate Name Forms (11)
Works
Title | Sources |
---|---|
An algebraic semantics for hierarchical P/T nets | |
Conservative adaption of workflow | |
Convex approximation of integrals | |
Impossible futures and determinism | |
On the diophantine equation 1k. | |
On the values of a function related to Euler's gamma function | |
Operational semantics for Petri Net components | |
Process algebra with autonomous actions | |
Simulating and analyzing railway interlockings in ExSpect | |
Structural Petri net equivalence | |
Z and high level Petri nets | |
Zeros of exponential polynomials |