Modele rivera Springer
1 résultat(s)
Model Checking And Artificial Intelligence: 4th Workshop, Mochart Iv, Riva Del Garda, Italy, August 29, 2006, Revised Selected And Invited Papers
Voir produit