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

De
Publié le : jeudi 1 janvier 2009
Lecture(s) : 11
Source : DOCSERV.UNI-DUESSELDORF.DE/SERVLETS/DERIVATESERVLET/DERIVATE-14809/DISSERTATION-A1B.PDF
Nombre de pages : 153
Voir plus Voir moins