Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/76520
Type: Artigo de periódico
Title: A note on the verification of automata specifications of probabilistic real-time systems
Author: Moura, AV
Pinto, GA
Subject: real-time systems
probabilistic verification
timed automata
nondeterminism
Country: Holanda
Editor: Elsevier Science Bv
Rights: fechado
Identifier DOI: 10.1016/S0020-0190(01)00288-5
Date Issue: 2002
Appears in Collections:Unicamp - Artigos e Outros Documentos

Files in This Item:
File Description SizeFormat 
WOS000174859400001.pdf95.28 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.