BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Karger:Burghard_von

Contributed to:

TACAS 19961996
CC 19921992

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.