|
Search the dblp DataBase
Thomas Lindner:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Christoph Andriessens, Thomas Lindner
Using FOCUS, LUSTRE, and Probability Theory for the Design of a Reliable Control Program. [Citation Graph (0, 0)][DBLP] Formal Methods for Industrial Applications, 1995, pp:35-51 [Conf]
- Jörn Eisenbiegler, Thomas Lindner
Individualisierung und Kooperation im Webangebot einer Hochschule. [Citation Graph (0, 0)][DBLP] DFN-Arbeitstagung über Kommunikationsnetze, 2003, pp:451-457 [Conf]
- Eduardo Casais, Ari Jaaksi, Thomas Lindner
FAMOOS Workshop on Object-Oriented Software Evolution and Re-engineering - Introduction. [Citation Graph (0, 0)][DBLP] ECOOP Workshops, 1997, pp:257-263 [Conf]
- Thomas Lindner
Case Study Production Cell. [Citation Graph (0, 0)][DBLP] FTRTFT, 1994, pp:780-780 [Conf]
- Thomas Lindner, Lothar Fritsch, Kilian Plank, Kai Rannenberg
Exploitation of Public and Private WiFi Coverage for New Business Models. [Citation Graph (0, 0)][DBLP] I3E, 2004, pp:131-148 [Conf]
- Artur Bauer, Thomas Lindner
Simulation. [Citation Graph (0, 0)][DBLP] Formal Development of Reactive Systems, 1995, pp:383-394 [Conf]
- Stefan Heinkel, Thomas Lindner
SDL. [Citation Graph (0, 0)][DBLP] Formal Development of Reactive Systems, 1995, pp:171-183 [Conf]
- Claus Lewerentz, Thomas Lindner
``Production Cell'': A Comparative Study in Formal Specification and Verification. [Citation Graph (0, 0)][DBLP] KORSO Book, 1995, pp:388-416 [Conf]
- Claus Lewerentz, Thomas Lindner
Introduction. [Citation Graph (0, 0)][DBLP] Formal Development of Reactive Systems, 1995, pp:1-6 [Conf]
- Claus Lewerentz, Thomas Lindner
Comparative Survey. [Citation Graph (0, 0)][DBLP] Formal Development of Reactive Systems, 1995, pp:21-54 [Conf]
- Claus Lewerentz, Thomas Lindner, Andreas Rüping, Emil Sekerinski
On Object-Oriented Design and Verification. [Citation Graph (0, 0)][DBLP] KORSO Book, 1995, pp:92-111 [Conf]
- Thomas Lindner
Task Description. [Citation Graph (0, 0)][DBLP] Formal Development of Reactive Systems, 1995, pp:7-19 [Conf]
Search in 0.001secs, Finished in 0.002secs
|