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 × Austria
1 × France
Collaborated with:
K.I.Pun M.Steffen B.Bollig C.Kern M.Schlütter
Talks about:
polymorph (1) behaviour (1) deadlock (1) specif (1) effect (1) analyz (1) infer (1) check (1) tool (1) msc (1)

Person: Volker Stolz

DBLP DBLP: Stolz:Volker

Contributed to:

SEFM 20142014
TACAS 20062006

Wrote 2 papers:

SEFM-2014-PunSS #behaviour #concurrent
Effect-Polymorphic Behaviour Inference for Deadlock Checking (KIP, MS, VS), pp. 50–64.
TACAS-2006-BolligKSS #named #specification
MSCan — A Tool for Analyzing MSC Specifications (BB, CK, MS, VS), pp. 455–458.

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.