Carsten Heyl

Publication Activity (10 Years)

Years Active: 1996-1996
Publications (10 Years): 0

Publications

Carsten Heyl, Arnulf Mester, Heiko Krumm
cTc - A Tool Supporting the Construction of cTLA-Specifications. TACAS (1996)