Model checking structured infinite Markov chains
A. Remke
Model checking structured infinite Markov chains
PaperbackEngels
In het kort
ISBN-13
9789085703044
Uitgever
Verschenen
10 juni 2008
Bibliografisch
ISBN-139789085703044
Editie1
TaalEngels eng
GeïllustreerdJa
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
Medewerkers
Auteur A01A. Remke
Herkomst
Werk-id (NSTC)500618281
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
NSTC 500618281 · CB-relatie 9126642 · Bijgewerkt 6 augustus 2026