Paul Kirchberg. Temporallogische Programmierung in einer objektorientierten Umgebung. PhD thesis, Kaiserslautern University of Technology, Germany, 1999. [doi]
@phdthesis{dnb-12891,
title = {Temporallogische Programmierung in einer objektorientierten Umgebung},
author = {Paul Kirchberg},
year = {1999},
url = {http://d-nb.info/955644259},
researchr = {https://researchr.org/publication/dnb-12891},
cites = {0},
citedby = {0},
school = {Kaiserslautern University of Technology, Germany},
}