| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method | 978-O-7923-83O1-7 (O-7923-83O1-X) | 1998 | Eduard Cerny · Bachir Berkane · Pierre Girodias |
K.k. · Karen Korts · Karen Kortz · Karin Kortschakowski · Karin Krauthausen · Karin Kritzler · Karin Kuretschka · Karina Kartach