Obres de Franck Cassez
Automated technology for verification and analysis : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia,… (2014) 2 exemplars
Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France,… (2008) 1 exemplars
Etiquetat
Coneixement comú
Encara no hi ha coneixement comú d'aquest autor. Pots ajudar.
Membres
Estadístiques
- Obres
- 4
- Membres
- 5
- Popularitat
- #1,360,914
- ISBN
- 5