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 × Finland
1 × France
1 × Japan
Collaborated with:
W.Thomas M.Grohe J.Altenbernd
Talks about:
infinit (2) system (2) existenti (1) synchron (1) transit (1) theorem (1) product (1) pictur (1) condit (1) accept (1)

Person: Stefan Wöhrle

DBLP DBLP: W=ouml=hrle:Stefan

Contributed to:

LICS 20042004
DLT 20022002
CSL 20012001

Wrote 3 papers:

LICS-2004-WohrleT #infinity #model checking
Model Checking Synchronized Products of Infinite Transition Systems (SW, WT), pp. 2–11.
DLT-2002-AltenberndTW #infinity
Tiling Systems over Infinite Pictures and Their Acceptance Conditions (JHA, WT, SW), pp. 297–306.
CSL-2001-GroheW #locality #theorem
An Existential Locality Theorem (MG, SW), pp. 99–114.

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.