![]() | ![]() |
| 1996 | ||
|---|---|---|
| 1 | Carsten Heyl, Arnulf Mester, Heiko Krumm: cTc - A Tool Supporting the Construction of cTLA-Specifications. TACAS 1996: 407-411 | |
| 1 | Heiko Krumm | [1] |
| 2 | Arnulf Mester | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page