%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 = {2021-07-17T00:00:00.000+0200}, author = {Bruns, Wolfgang}, biburl = {https://www.bibsonomy.org/bibtex/2e0d06336c580a46847645171ba01c715/dblp}, ee = {https://d-nb.info/910594325}, interhash = {3863a2c1ca0d2ea4b264be97f8612a80}, intrahash = {e0d06336c580a46847645171ba01c715}, keywords = {dblp}, pages = {1-154}, school = {Braunschweig University of Technology, Germany}, timestamp = {2024-04-09T08:37:51.000+0200}, title = {Zur Verifikation paralleler Prozesse in Ada.}, year = 1990 }