%0 Thesis %1 schulze2004level %A Schulze, Uwe %A Dahlweid, Markus %D 2004 %K %T High level transition systems of CSP specifications and their application in automated testing

@phdthesis{schulze2004level, added-at = {2023-12-13T02:40:46.000+0100}, author = {Schulze, Uwe and Dahlweid, Markus}, biburl = {https://www.bibsonomy.org/bibtex/291b35a167a3f2a50613f8649a3074571/admin}, dnbtitleid = {970414498}, interhash = {82389afab77d0b1904dce7f437c10697}, intrahash = {91b35a167a3f2a50613f8649a3074571}, keywords = {}, school = {Uni Bremen}, timestamp = {2023-12-13T02:40:46.000+0100}, title = {High level transition systems of CSP specifications and their application in automated testing}, year = 2004 }