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 × Germany
1 × Italy
Collaborated with:
H.Wimmel W.M.P.v.d.Aalst A.J.Mooij C.Stahl
Talks about:
interact (1) pattern (1) analysi (1) servic (1) formal (1) state (1) petri (1) equat (1) cegar (1) appli (1)

Person: Karsten Wolf

DBLP DBLP: Wolf:Karsten

Contributed to:

TACAS 20112011
SFM 20092009

Wrote 2 papers:

TACAS-2011-WimmelW #equation #petri net
Applying CEGAR to the Petri Net State Equation (HW, KW), pp. 224–238.
SFM-2009-AalstMSW #analysis #formal method #interactive
Service Interaction: Patterns, Formalization, and Analysis (WMPvdA, AJM, CS, KW), pp. 42–88.

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.