DMC Model Checker
Freark I. van der Berg
DMC Model Checker Delta-Driven Variable-Length Next-State Generation via Recursive Compression
In het kort
ISBN-13
9789036569132
Uitgever
Verschenen
7 november 2025
Bibliografisch
ISBN-139789036569132
SerieIPA dissertation series — deel 2025-15
Editie1
TaalEngels eng
GeïllustreerdNee
Uitgave
UitgeverUniversiteit Twente Bibliotheek
CB-relatie-id8186142
Verschenen7 november 2025
StatusOnbekend 00
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
Medewerkers
Auteur A01Freark I. van der Berg
Herkomst
Werk-id (NSTC)501642230
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
NSTC 501642230 · CB-relatie 8186142 · Bijgewerkt 6 augustus 2026