Login / Signup
Michele Tatarek
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Deterministic Finite Automaton
Automated Verification
Reactive Systems
Model Checking
Top Venues
GandALF
</>
Publications
</>
Giorgio Delzanno
,
Michele Tatarek
,
Riccardo Traverso
Model Checking Paxos in Spin.
GandALF
(2014)