Sign in
Simone Della Longa
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Deterministic Finite Automaton
Linear Time Temporal Logic
Transition Systems
Automated Verification
Top Venues
FMICS
</>
Publications
</>
Franco Mazzanti
,
Giorgio Oronzo Spagnolo
,
Simone Della Longa
,
Alessio Ferrari
Deadlock Avoidance in Train Scheduling: A Model Checking Approach.
FMICS
(2014)