Next: Coordination and Management
Up: Dissemination of results
Previous: Publications
- A special issue of the journal Theoretical Computer Science has been published
by A. Bouajjani (UP7) on Algorithmic Verification of Infinite State Systems,
volume 256, April 2001.
- A Workshop on Verification of Infinite State Systems has been organized
by (UP7) in Paris, March 2001. This workshop was attended by around 70 researchers
and students.