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:
1996
1992
1995Wrote 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.