Model Checking Timed Automata
Marc Hendriks
Model Checking Timed Automata techniques and Applications
PaperbackNederlands
In het kort
Bibliografisch
ISBN-139789090203782
Editie1
TaalNederlands dut
GeïllustreerdJa
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
NUR (hoofd)Informatica algemeen 980
NUR (alle)980 Informatica algemeen
Medewerkers
Auteur A01Marc Hendriks
Herkomst
Werk-id (NSTC)501284361
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
NSTC 501284361 · CB-relatie 9663635 · Bijgewerkt 6 augustus 2026