Carsten Heyl

According to our database, Carsten Heyl authored at least 1 paper in 1996.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1996

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

Carsten Heyl, Arnulf Mester, Heiko Krumm

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996