%0 Thesis %1 phd/de/DahlweidU2004 %A Dahlweid, Markus %A Schulze, Uwe %D 2004 %K dblp %P 1-437 %T High level transition systems of CSP specifications and their application in automated testing.

@phdthesis{phd/de/DahlweidU2004, added-at = {2021-07-17T00:00:00.000+0200}, author = {Dahlweid, Markus and Schulze, Uwe}, biburl = {https://www.bibsonomy.org/bibtex/2e726e77c1cb48c4a06bd0d7fdac0d820/dblp}, ee = {https://d-nb.info/975460900}, interhash = {82389afab77d0b1904dce7f437c10697}, intrahash = {e726e77c1cb48c4a06bd0d7fdac0d820}, keywords = {dblp}, pages = {1-437}, school = {University of Bremen, Germany}, timestamp = {2024-04-09T09:12:30.000+0200}, title = {High level transition systems of CSP specifications and their application in automated testing.}, year = 2004 }