Lothar F. Mackert. Modellierung, Spezifikation und korrekte Realisierung von asynchronen Systemen. PhD thesis, University of Erlangen-Nuremberg, Germany, 1983. [doi]
@phdthesis{dnb-7153,
title = {Modellierung, Spezifikation und korrekte Realisierung von asynchronen Systemen},
author = {Lothar F. Mackert},
year = {1983},
url = {http://d-nb.info/850182034},
researchr = {https://researchr.org/publication/dnb-7153},
cites = {0},
citedby = {0},
school = {University of Erlangen-Nuremberg, Germany},
}