TY  - DATA
AU  - Göessel,Michael
AU  - Ocheretny,Vitaly
AU  - Sogomonyan,Egor
AU  - Marienfeld,Daniel
ED  - SpringerLink (Online service)
TI  - New Methods of Concurrent Checking
T2  - Frontiers In Electronic Testing,
SN  - 9781402084201
AV  - TK7874 G64 2008
PY  - 2008///
CY  - Dordrecht
PB  - Springer Science+Business Media B.V.
KW  - Engineering
KW  - Computer simulation
KW  - Systems engineering
KW  - Circuits and Systems
KW  - Simulation and Modeling
UR  - http://dx.doi.org/10.1007/978-1-4020-8420-1
ER  -