Abstraction prices and probability in model checking timed automata
J.K. Berendsen
Abstraction prices and probability in model checking timed automata
Hardback197 pagina’sEngels
In het kort
ISBN-13
9789088911934
Uitgever
Verschenen
3 november 2010
Bibliografisch
ISBN-139789088911934
Editie1
TaalEngels eng
Pagina’s197
GeïllustreerdJa
Uitgave
Vorm & inhoud
ProductvormHardback BB
SamenstellingLos product
Classificatie
NUR (hoofd)Theoretische informatica 993
NUR (alle)993 Theoretische informatica
Medewerkers
Auteur A01J.K. Berendsen
Herkomst
Werk-id (NSTC)500541392
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
NSTC 500541392 · CB-relatie 9580114 · Bijgewerkt 6 augustus 2026