Login / Signup
Massimo Tassan-Solet
Publication Activity (10 Years)
Years Active: 1994-1994
Publications (10 Years): 0
</>
Publications
</>
Luca Ferrarini
,
Marco Narduzzi
,
Massimo Tassan-Solet
A new approach to modular liveness analysis conceived for large logic controllers' design.
IEEE Trans. Robotics Autom.
10 (2) (1994)