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 × Denmark
1 × USA
Collaborated with:
J.Sifakis T.A.Henzinger S.Yovine
Talks about:
time (2) synthesi (1) overview (1) process (1) algebra (1) system (1) symbol (1) model (1) check (1) real (1)

Person: Xavier Nicollin

DBLP DBLP: Nicollin:Xavier

Contributed to:

LICS 19921992
CAV 19911991

Wrote 2 papers:

LICS-1992-HenzingerNSY #model checking #realtime
Symbolic Model Checking for Real-time Systems (TAH, XN, JS, SY), pp. 394–406.
CAV-1991-NicollinS #algebra #overview #process #synthesis
An Overview and Synthesis on Timed Process Algebras (XN, JS), pp. 376–398.

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.