Connectez-vous pour ajouter ce livre à votre bibliothèque.
Mordechai Ben-Ari
Principles of the Spin model checker
Springer (London) · 2008 · 9781846287695
