@book{GoesselOcheretnySogomonyanetal.2008,
  author    = {Goessel, Michael and Ocheretny, Vitaly and Sogomonyan, Egor S. and Marienfeld, Daniel},
  title     = {New methods of concurrent checking},
  series = {Frontiers in electronic testing},
  volume    = {42},
  journal   = {Frontiers in electronic testing},
  publisher = {Springer},
  address   = {Dordrecht; Heidelberg},
  isbn      = {978-1-402-08419-5},
  doi       = {10.1007/978-1-4020-8420-1},
  pages     = {250 S.},
  year      = {2008},
  language  = {en}
}