TY  - BOOK
A1  - Goessel, Michael
A1  - Ocheretny, Vitaly
A1  - Sogomonyan, Egor S.
A1  - Marienfeld, Daniel
T1  - New methods of concurrent checking
T3  - Frontiers in electronic testing
Y1  - 2008
SN  - 978-1-402-08419-5
U6  - https://doi.org/10.1007/978-1-4020-8420-1
VL  - 42
PB  - Springer
CY  - Dordrecht; Heidelberg
ER  -