A CTL Model Checker for Stochastic Automata Networks

Utilize este identificador para citar ou criar um atalho para este documento: 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
In:	10th International Conference on the Quantitative Evaluation of Systems (QEST 2013), 2013, Argentina.
Data de Publicação:	2013
Palavras-chave:	Stochastic Automata Networks Software Tool Model Checking
URI:	https://hdl.handle.net/10923/20976
ISBN:	0302-9743
Aparece nas Coleções:	Apresentação em Evento

Arquivos neste item:

Arquivo	Descrição	Tamanho	Formato
A_CTL_Model_Checker_for_Stochastic_Automata_Networks.pdf		102,83 kB	Adobe PDF	Abrir Exibir