%0 Thesis %1 phd/dnb/Bruns90 %A Bruns, Wolfgang %D 1990 %K dblp %P 1-154 %T Zur Verifikation paralleler Prozesse in Ada.

@phdthesis{phd/dnb/Bruns90, added-at = {2016-11-28T00:00:00.000+0100}, author = {Bruns, Wolfgang}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e0d06336c580a46847645171ba01c715/dblp}, ee = {http://d-nb.info/910594325}, interhash = {3863a2c1ca0d2ea4b264be97f8612a80}, intrahash = {e0d06336c580a46847645171ba01c715}, keywords = {dblp}, pages = {1-154}, school = {Braunschweig University of Technology, Germany}, timestamp = {2016-11-29T10:33:26.000+0100}, title = {Zur Verifikation paralleler Prozesse in Ada.}, year = 1990 }