1. Repositório PUCRS
  2. PUBLICAÇÕES CIENTÍFICAS
  3. Apresentação em Evento
Please use this identifier to cite or link to this item: https://hdl.handle.net/10923/20976
Type: conferenceObject
Title: A CTL Model Checker for Stochastic Automata Networks
Author(s): Lucas G. Oleksinski
Claiton M. Correa
Fernando Luis Dotti
Afonso Henrique Corrêa de Sales
In: 10th International Conference on the Quantitative Evaluation of Systems (QEST 2013), 2013, Argentina.
Issue Date: 2013
Keywords: Stochastic Automata Networks
Software Tool
Model Checking
URI: https://hdl.handle.net/10923/20976
ISBN: 0302-9743
Appears in Collections:Apresentação em Evento

Files in This Item:
File Description SizeFormat 
A_CTL_Model_Checker_for_Stochastic_Automata_Networks.pdf102,83 kBAdobe PDFOpen
View
Show full item record See statistics Search for other versions of fulltext via SFX


All Items in PUCRS Repository are protected by copyright, with all rights reserved, and are licensed under a Creative Commons Attribution-NonCommercial 4.0 International License. Read more.