1. Repositório PUCRS
  2. PUBLICAÇÕES CIENTÍFICAS
  3. Apresentação em Evento
Por favor, use este identificador para citar o enlazar este ítem: https://hdl.handle.net/10923/20976
Tipo: conferenceObject
Título: A CTL Model Checker for Stochastic Automata Networks
Autor(es): Lucas G. Oleksinski
Claiton M. Correa
Fernando Luis Dotti
Afonso Henrique Corrêa de Sales
En: 10th International Conference on the Quantitative Evaluation of Systems (QEST 2013), 2013, Argentina.
Fecha de Publicación: 2013
Palabras clave: Stochastic Automata Networks
Software Tool
Model Checking
URI: https://hdl.handle.net/10923/20976
ISBN: 0302-9743
Aparece en las colecciones:Apresentação em Evento

Ficheros en este ítem:
Fichero Descripción TamañoFormato 
A_CTL_Model_Checker_for_Stochastic_Automata_Networks.pdf102,83 kBAdobe PDFAbrir
Ver
Mostrar el registro completo del ítem Ver estatísticas Busque otras versiones de este texto através de SFX


Todos los ítems en el Repositorio de la PUCRS están protegidos por derechos de autor, con todos los derechos reservados, y están bajo una licencia de Creative Commons Reconocimiento-NoComercial 4.0 Internacional. Sepa más.