| 2004 |
|---|
| 13 | | Thomas Lindner,
Lothar Fritsch,
Kilian Plank,
Kai Rannenberg:
Exploitation of Public and Private WiFi Coverage for New Business Models.
I3E 2004: 131-148 |
| 2003 |
|---|
| 12 | | Jörn Eisenbiegler,
Thomas Lindner:
Individualisierung und Kooperation im Webangebot einer Hochschule.
DFN-Arbeitstagung über Kommunikationsnetze 2003: 451-457 |
| 1997 |
|---|
| 11 | EE | Eduardo Casais,
Ari Jaaksi,
Thomas Lindner:
FAMOOS Workshop on Object-Oriented Software Evolution and Re-engineering - Introduction.
ECOOP Workshops 1997: 257-263 |
| 1995 |
|---|
| 10 | | Claus Lewerentz,
Thomas Lindner:
Formal Development of Reactive Systems - Case Study Production Cell
Springer 1995 |
| 9 | | Claus Lewerentz,
Thomas Lindner:
Introduction.
Formal Development of Reactive Systems 1995: 1-6 |
| 8 | | Stefan Heinkel,
Thomas Lindner:
SDL.
Formal Development of Reactive Systems 1995: 171-183 |
| 7 | | Claus Lewerentz,
Thomas Lindner:
Comparative Survey.
Formal Development of Reactive Systems 1995: 21-54 |
| 6 | | Artur Bauer,
Thomas Lindner:
Simulation.
Formal Development of Reactive Systems 1995: 383-394 |
| 5 | | Thomas Lindner:
Task Description.
Formal Development of Reactive Systems 1995: 7-19 |
| 4 | | Christoph Andriessens,
Thomas Lindner:
Using FOCUS, LUSTRE, and Probability Theory for the Design of a Reliable Control Program.
Formal Methods for Industrial Applications 1995: 35-51 |
| 3 | | Claus Lewerentz,
Thomas Lindner:
``Production Cell'': A Comparative Study in Formal Specification and Verification.
KORSO Book 1995: 388-416 |
| 2 | | Claus Lewerentz,
Thomas Lindner,
Andreas Rüping,
Emil Sekerinski:
On Object-Oriented Design and Verification.
KORSO Book 1995: 92-111 |
| 1994 |
|---|
| 1 | | Thomas Lindner:
Case Study Production Cell.
FTRTFT 1994: 780-780 |
