| Titel | Art | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Action Refinement in Process Algebras | Paperback | | 978-0-521-01973-6 | 2007 |
| Action Refinement in Process Algebras | Hardcover | | 978-0-521-43111-8 | 1992 |
| Automata, Languages and Programming: 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I | Taschenbuch | | 978-3-540-70574-1 | 2008 | Ivan Damgaard · Leslie Ann Goldberg · Magnus M. Halldorsson · Anna Ingolfsdottir · Igor Walukiewicz |
| Automata, Languages and Programming: 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II | " | | 978-3-540-70582-6 | 2008 | Ivan Damgaard · Leslie Ann Goldberg · Magnus M. Halldorsson · Anna Ingolfsdottir · Igor Walukiewicz |
| Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2010. Proceedings, Part II | " | | 978-3-642-22011-1 | 2011 | Monika Henzinger · Jiri Sgall |
| Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011. Proceedings, Part I | " | | 978-3-642-22005-0 | 2011 | Monika Henzinger · Jiří Sgall |
| Foundations of Software Science and Computational Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European ... Notes in Computer Science, Band 3921) | " | | 978-3-540-33045-5 | 2010 | Anna Ingólfsdóttir |
| Reactive Systems: Modelling, Specification and Verification | Hardcover | | 978-0-521-87546-2 | 2007 | Anna Ingólfsdóttir · Kim Guldstrand Larsen · Jiri Srba |