Login / Signup
Christophe Junke
Publication Activity (10 Years)
Years Active: 2010-2010
Publications (10 Years): 0
</>
Publications
</>
Benjamin Blanc
,
Christophe Junke
,
Bruno Marre
,
Pascale Le Gall
,
Olivier Andrieu
Handling State-Machines Specifications with GATeL.
Electron. Notes Theor. Comput. Sci.
264 (3) (2010)