Travelled to:
1 × Germany
Collaborated with:
R.Berghammer B.v.Karger
Talks about:
realtion (1) relview (1) analysi (1) algebra (1) petri (1) net (1)
Person: Christiane Ulke
DBLP: Ulke:Christiane
Contributed to:
Wrote 1 papers:
- TACAS-1996-BerghammerKU #algebra #analysis #perspective #petri net
- Realtion-Algebraic Analysis of Petri Nets with RELVIEW (RB, BvK, CU), pp. 49–69.