Login / Signup
Magnus Lindahl
Publication Activity (10 Years)
Years Active: 1998-2001
Publications (10 Years): 0
</>
Publications
</>
Magnus Lindahl
,
Paul Pettersson
,
Wang Yi
Formal design and analysis of a gear controller.
Int. J. Softw. Tools Technol. Transf.
3 (3) (2001)
Magnus Lindahl
,
Paul Pettersson
,
Wang Yi
Formal Design and Analysis of a Gear Controller.
TACAS
(1998)