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: Nicollin:Xavier
Contributed to:
1992
1991Wrote 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.