On symmetry reduction in model checking via graph canonicalisation [Elektronische Ressource] / vorgelegt von Corinna Spermann
-
153
pages
-
Documents
-
2009
Écrit par
Admm
Publié par
heinrich-heine-universitat_dusseldorf
-
153
pages
-
Documents
-
2009
Description
-
Publié par
-
Publié le
01 janvier 2009
-
Poids de l'ouvrage
23 Mo
Ajouté à mes notifications
Vous serez informé des prochaines publications.