Login / Signup
Yi-Te Tseng
Publication Activity (10 Years)
Years Active: 1997-1997
Publications (10 Years): 0
</>
Publications
</>
Carl K. Chang
,
Yi-Te Tseng
,
Ugo A. Buy
Compiling process algebraic specifications into timed automata.
COMPSAC
(1997)