Utilize este identificador para citar ou criar um atalho para este documento: https://hdl.handle.net/10923/20976
Registro Completo de Metadados
Campo DCValorIdioma
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-
Aparece nas Coleções:Apresentação em Evento

Arquivos neste item:
Arquivo Descrição TamanhoFormato 
A_CTL_Model_Checker_for_Stochastic_Automata_Networks.pdf102,83 kBAdobe PDFAbrir
Exibir


Todos os itens no Repositório da PUCRS estão protegidos por copyright, com todos os direitos reservados, e estão licenciados com uma Licença Creative Commons - Atribuição-NãoComercial 4.0 Internacional. Saiba mais.