Kurt Jensen (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

10 Peter Huber, Arne M. Jensen, Leif O. Jepsen, Kurt Jensen: Reachability Trees for High-level Petri Nets. Theor. Comput. Sci. 45(3): 261-292 (1986)

8 Peter Huber, Arne M. Jensen, Leif O. Jepsen, Kurt Jensen: Towards reachability trees for high-level Petri nets. European Workshop on Applications and Theory in Petri Nets 1984: 215-233

Selection of 2 from 42 records - Kurt Jensen has 33 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

10		Peter Huber, Arne M. Jensen, Leif O. Jepsen, Kurt Jensen: Reachability Trees for High-level Petri Nets. Theor. Comput. Sci. 45(3): 261-292 (1986)
8		Peter Huber, Arne M. Jensen, Leif O. Jepsen, Kurt Jensen: Towards reachability trees for high-level Petri nets. European Workshop on Applications and Theory in Petri Nets 1984: 215-233