Login / Signup
The Quang Tran
Publication Activity (10 Years)
Years Active: 2007-2007
Publications (10 Years): 0
</>
Publications
</>
Frédéric Herbreteau
,
Grégoire Sutre
,
The Quang Tran
Unfolding Concurrent Well-Structured Transition Systems.
TACAS
(2007)