BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Spain
1 × United Kingdom
Collaborated with:
J.B.Møller H.R.Andersen H.Hulgaard T.Ball E.Bounimova V.Levin R.Kumar
Talks about:
research (1) platform (1) diagram (1) verifi (1) static (1) driver (1) differ (1) decis (1)

Person: Jakob Lichtenberg

DBLP DBLP: Lichtenberg:Jakob

Contributed to:

CAV 20102010
CSL 19991999

Wrote 2 papers:

CAV-2010-BallBLKL #framework #platform #research #verification
The Static Driver Verifier Research Platform (TB, EB, VL, RK, JL), pp. 119–122.
CSL-1999-MollerLAH #diagrams #difference
Difference Decision Diagrams (JBM, JL, HRA, HH), pp. 111–125.

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.