@incollection{DBLP:conf/swb/SharyginaK07,
author = {Natasha Sharygina and
Daniel Kr{\"o}ning},
title = {Model Checking with Abstraction for Web Services},
booktitle = {Test and Analysis of Web Services},
year = {2007},
pages = {121-145},
ee = {http://dx.doi.org/10.1007/978-3-540-72912-9_5},
crossref = {DBLP:conf/swb/2007taws},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@book{DBLP:conf/swb/2007taws,
editor = {Luciano Baresi and
Elisabetta Di Nitto},
title = {Test and Analysis of Web Services},
booktitle = {Test and Analysis of Web Services},
publisher = {Springer},
year = {2007},
isbn = {978-3-540-72912-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}