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
Full metadata record
DC FieldValueLanguage
dc.contributor.authorLucas G. Oleksinski-
dc.contributor.authorClaiton M. Correa-
dc.contributor.authorFernando Luis Dotti-
dc.contributor.authorAfonso Henrique Corrêa de Sales-
dc.date.accessioned2022-03-29T13:04:24Z-
dc.date.available2022-03-29T13:04:24Z-
dc.date.issued2013-
dc.identifier.isbn0302-9743-
dc.identifier.urihttps://hdl.handle.net/10923/20976-
dc.language.isoen-
dc.relation.ispartof10th International Conference on the Quantitative Evaluation of Systems (QEST 2013), 2013, Argentina.-
dc.rightsopenAccess-
dc.subjectStochastic Automata Networks-
dc.subjectSoftware Tool-
dc.subjectModel Checking-
dc.titleA CTL Model Checker for Stochastic Automata Networks-
dc.typeconferenceObject-
dc.date.updated2022-03-29T13:04:22Z-
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 simple 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.