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 × Finland
Collaborated with:
R.Mateescu
Talks about:
languag (1) concurr (1) system (1) model (1) check (1) valu (1) pass (1)

Person: Damien Thivolle

DBLP DBLP: Thivolle:Damien

Contributed to:

FM 20082008

Wrote 1 papers:

FM-2008-MateescuT #concurrent #model checking
A Model Checking Language for Concurrent Value-Passing Systems (RM, DT), pp. 148–164.
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.