TY  - BOOK
A1  - Goessel, Michael
A1  - Ocheretny, Vitaly
A1  - Sogomonyan, Egor S.
A1  - Marienfeld, Daniel
T1  - New methods of concurrent checking
T2  - Frontiers in electronic testing
Y1  - 2008
UR  - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/10681
SN  - 978-1-402-08419-5
VL  - 42
PB  - Springer
CY  - Dordrecht; Heidelberg
ER  -