Yassine Lakhnech

No bio available. Add one in Open Library.

Books by Yassine Lakhnech (50 max)

+ shelf+ list

Concurrency verification: introduction to compositional and noncompositional methods

2001

W.-P. de Roever, Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers

+ shelf+ list

From Programs to Systems - the Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

2014

Saddek Bensalem, Yassine Lakhnech, Axel Legay

+ shelf+ list

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings

2004

Yassine Lakhnech, Sergio Yovine

+ shelf+ list

Specification and verification of hybrid and real time systems

1996

Yassine Lakhnech