Technical Report - Vérification de machines à états quantifiées
Authors
Germain Saval
Publication date
2004/9/7
Scholar articles
G Saval - 2004