Model checking nondeterministic and randomly timed systems
M.R. Neuhäusser
Model checking nondeterministic and randomly timed systems
PaperbackEngels
In het kort
ISBN-13
9789036529754
Uitgever
Verschenen
22 januari 2010
Bibliografisch
ISBN-139789036529754
Editie1
TaalEngels eng
GeïllustreerdNee
Uitgave
UitgeverUniversiteit Twente Bibliotheek
CB-relatie-id8186142
Verschenen22 januari 2010
StatusOnbekend 00
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
Medewerkers
Auteur A01M.R. Neuhäusser
Herkomst
Werk-id (NSTC)500568500
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
NSTC 500568500 · CB-relatie 8186142 · Bijgewerkt 6 augustus 2026