| Campo DC | Valor | Idioma |
|---|
| dc.contributor.author | Lucas G. Oleksinski | - |
| dc.contributor.author | Claiton M. Correa | - |
| dc.contributor.author | Fernando Luis Dotti | - |
| dc.contributor.author | Afonso Henrique Corrêa de Sales | - |
| dc.date.accessioned | 2022-03-29T13:04:24Z | - |
| dc.date.available | 2022-03-29T13:04:24Z | - |
| dc.date.issued | 2013 | - |
| dc.identifier.isbn | 0302-9743 | - |
| dc.identifier.uri | https://hdl.handle.net/10923/20976 | - |
| dc.language.iso | en | - |
| dc.relation.ispartof | 10th International Conference on the Quantitative Evaluation of Systems (QEST 2013), 2013, Argentina. | - |
| dc.rights | openAccess | - |
| dc.subject | Stochastic Automata Networks | - |
| dc.subject | Software Tool | - |
| dc.subject | Model Checking | - |
| dc.title | A CTL Model Checker for Stochastic Automata Networks | - |
| dc.type | conferenceObject | - |
| dc.date.updated | 2022-03-29T13:04:22Z | - |
| Aparece en las colecciones: | Apresentação em Evento
|
