Stephan Kleuker. Inkrementelle Entwicklung von verifizierten Spezifikationen für verteilte Systeme. PhD thesis, Carl von Ossietzky University of Oldenburg, 1997. [doi]
@phdthesis{dnb-4347,
title = {Inkrementelle Entwicklung von verifizierten Spezifikationen für verteilte Systeme},
author = {Stephan Kleuker},
year = {1997},
url = {http://d-nb.info/953936864},
researchr = {https://researchr.org/publication/dnb-4347},
cites = {0},
citedby = {0},
school = {Carl von Ossietzky University of Oldenburg},
}