 | 2009 |
|---|
| 4 |       | Wolfgang Ahrendt,
Frank S. de Boer,
Immo Grabe:
Abstract Object Creation in Dynamic Logic.
FM 2009: 612-627 |
| 3 | | Frank S. de Boer,
Immo Grabe,
Mohammad Mahdi Jaghoori,
Andries Stam,
Wang Yi:
Modeling and Analysis of Thread-Pools in an Industrial Communication Platform.
ICFEM 2009: 367-386 |
| 2 | | Erika Ábrahám,
Immo Grabe,
Andreas Grüner,
Martin Steffen:
Behavioral interface description of an object-oriented language with futures and promises.
J. Log. Algebr. Program. 78(7): 491-518 (2009) |
| 2007 |
|---|
| 1 | | Harald Fecher,
Immo Grabe:
Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic.
FSEN 2007: 1-16 |
