%0 Thesis %1 phd/dnb/Klarkowski83 %A Klarkowski, Werner %D 1983 %K dblp %T Ein Beitrag zur Beschreibung und zur Verifikation komplexer digitaler Systeme.

@phdthesis{phd/dnb/Klarkowski83, added-at = {2021-07-17T00:00:00.000+0200}, author = {Klarkowski, Werner}, biburl = {https://www.bibsonomy.org/bibtex/26ed39a2fbaae4b15d775738c8130b262/dblp}, ee = {https://d-nb.info/840924356}, interhash = {8bfb73e961fc3d4770a8587ae7ac69c5}, intrahash = {6ed39a2fbaae4b15d775738c8130b262}, keywords = {dblp}, school = {Humboldt University of Berlin, Unter den Linden, Germany}, timestamp = {2024-04-09T08:20:24.000+0200}, title = {Ein Beitrag zur Beschreibung und zur Verifikation komplexer digitaler Systeme.}, year = 1983 }