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 × South Africa
Collaborated with:
Talks about:
counterexampl (1) effici (1) model (1) minim (1) flash (1) check (1) ltl (1)

Person: Damian Sulewski

DBLP DBLP: Sulewski:Damian

Contributed to:

SEFM 20082008

Wrote 1 papers:

SEFM-2008-EdelkampS #ltl #model checking
Flash-Efficient LTL Model Checking with Minimal Counterexamples (SE, DS), pp. 73–82.

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.