cTc - A Tool Supporting the Construction of cTLA-Specifications.

Carsten Heyl, Arnulf Mester, Heiko Krumm

Browse the full TACAS paper archive.