| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Reactive Systems: Modelling, Specification and Verification | 978-O-521-87546-2 (O-521-87546-3) | 2007 | L. Aceto · Anna Ingolfsdottir · Jiri Srba |
Ken Gladdish · Ken Goldsby · Ken Goldsmith · Ken Goldstein · Kim Guldstrand Larsen · Kim Guldstrand Larson