BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Israel
1 × Sweden
Collaborated with:
S.Römer J.Esparza
Talks about:
check (2) properti (1) deadlock (1) program (1) unfold (1) system (1) integ (1) use (1) net (1)

Person: Stephan Melzer

DBLP DBLP: Melzer:Stephan

Contributed to:

CAV 19971997
ESOP 19961996

Wrote 2 papers:

CAV-1997-MelzerR #concurrent #using
Deadlock Checking Using Net Unfoldings (SM, SR), pp. 352–363.
ESOP-1996-MelzerE #integer #programming
Checking System Properties via Integer Programming (SM, JE), pp. 250–264.
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.