Author:
Brihaye Thomas,Goeminne Aline
Publisher
Springer International Publishing
Reference20 articles.
1. Lecture Notes in Computer Science;L de Alfaro,2003
2. Lecture Notes in Computer Science;E Asarin,1999
3. Baier, C., Katoen, J.P.: Principles of Model Checking. The MIT Press, Cambridge (2008)
4. Lecture Notes in Computer Science;G Behrmann,2007
5. Lecture Notes in Computer Science;P Bouyer,2010