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

@phdthesis{schulze2004level, added-at = {2015-09-09T21:21:20.000+0200}, author = {Schulze, Uwe and Dahlweid, Markus}, biburl = {https://www.bibsonomy.org/bibtex/291b35a167a3f2a50613f8649a3074571/genealogie}, dnbtitleid = {970414498}, interhash = {82389afab77d0b1904dce7f437c10697}, intrahash = {91b35a167a3f2a50613f8649a3074571}, keywords = {dnb Informatik}, school = {Uni Bremen}, timestamp = {2015-09-09T21:21:20.000+0200}, title = {High level transition systems of CSP specifications and their application in automated testing}, year = 2004 }