La lecture en ligne est gratuite
Le téléchargement nécessite un accès à la bibliothèque YouScribe
Tout savoir sur nos offres
Télécharger Lire

On symmetry reduction in model checking via graph canonicalisation [Elektronische Ressource] / vorgelegt von Corinna Spermann

De
153 pages
Ajouté le : 01 janvier 2009
Lecture(s) : 11
Signaler un abus
Un pour Un
Permettre à tous d'accéder à la lecture
Pour chaque accès à la bibliothèque, YouScribe donne un accès à une personne dans le besoin