Model Checking with Abstraction for Web Services.
Additional information
Authors
Sharygina N.,
Kröning D.
Type
Book
Year
2007
Language
English
Publisher
Springer
Series
Test and Analysis of Web Services
Pages
121-145
ISBN
978-3-540-72912-9
