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 × Australia
1 × Austria
Collaborated with:
P.Héam O.Kouchnarenko Y.Boichut
Talks about:
approxim (2) properti (1) abstract (1) tempor (1) rewrit (1) better (1) refin (1) model (1) finer (1) check (1)

Person: Roméo Courbis

DBLP DBLP: Courbis:Rom=eacute=o

Contributed to:

CIAA 20092009
RTA 20082008

Wrote 2 papers:

CIAA-2009-CourbisHK #approximate #model checking
TAGED Approximations for Temporal Properties Model-Checking (RC, PCH, OK), pp. 135–144.
RTA-2008-BoichutCHK #abstraction #approximate #refinement
Finer Is Better: Abstraction Refinement for Rewriting Approximations (YB, RC, PCH, OK), pp. 48–62.
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.