`Travelled to:`

2 × Germany

`Collaborated with:`

∅ R.Berghammer C.Ulke B.Buth K.Buth M.Fränzle Y.Lakhnech H.Langmaack M.Müller-Olm

`Talks about:`

algebra (2) implement (1) realtion (1) approach (1) relview (1) provabl (1) develop (1) correct (1) analysi (1) tempor (1)

## Person: Burghard von Karger

### DBLP: Karger:Burghard_von

### Contributed to:

### Wrote 3 papers:

- TACAS-1996-BerghammerKU #algebra #analysis #perspective #petri net
- Realtion-Algebraic Analysis of Petri Nets with RELVIEW (RB, BvK, CU), pp. 49–69.
- CC-1992-ButhBFKLLM #compilation #development #implementation
- Provably Correct Compiler Development and Implementation (BB, KHB, MF, BvK, YL, HL, MMO), pp. 141–155.
- TAPSOFT-1995-Karger #algebra #approach #logic
- An Algebraic Approach to Temporal Logic (BvK), pp. 232–246.