A divide & conquer approach to leads-to model checking for large-scale systems
Dieser Artikel ist gesperrt und nur für Journalisten sichtbar
Please login here
Regions: Asia, Japan
Keywords: Applied science, Computing, Engineering, Science, Mathematics
Dieser Beitrag wurde zurückgezogen. Akkreditierte Journalisten und Nutzer können den Verfasser kontaktieren inachdem sie sich einloggen.