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

Le téléchargement nécessite un accès à la bibliothèque YouScribe
Tout savoir sur nos offres

153 pages

Le téléchargement nécessite un accès à la bibliothèque YouScribe
Tout savoir sur nos offres

Sujets

Informations

Publié par	heinrich-heine-universitat_dusseldorf
Publié le	01 janvier 2009
Nombre de lectures	11
Poids de l'ouvrage	23 Mo

Extrait