Model Checking with Abstraction for Web Services
Natasha Sharygina and Daniel Kroening
Book Title
Test and Analysis of Web Services
Editor
Luciano Baresi and Elisabetta DiNitto
ISBN
3540729119
Pages
121–145
Publisher
Springer
Year
2007
Natasha Sharygina and Daniel Kroening