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 × Portugal
Collaborated with:
K.Ajami S.Haddad
Talks about:
model (2) check (2) symmetri (1) reachabl (1) exploit (1) tempor (1) symbol (1) linear (1) beyond (1) logic (1)

Person: Jean-Michel Ilié

DBLP DBLP: Ili=eacute=:Jean=Michel

Contributed to:

TACAS 19981998
TAPSOFT CAAP/FASE 19971997

Wrote 2 papers:

TACAS-1998-AjamiHI #linear #logic #model checking #symmetry
Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond (KA, SH, JMI), pp. 52–67.
TAPSOFT-1997-IlieA #graph #model checking #reachability
Model Checking Through Symbolic Reachability Graph (JMI, KA), pp. 213–224.

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.