Login / Signup
Lucas Oleksinski
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Epistemic Logic
Description Language
Transition Systems
Formal Specification
Top Venues
QEST
</>
Publications
</>
Lucas Oleksinski
,
Claiton Correa
,
Fernando Luís Dotti
,
Afonso Sales
A CTL Model Checker for Stochastic Automata Networks.
QEST
(2013)