Model Checking with Abstraction for Web Services.
Informazioni aggiuntive
Autori
Sharygina N.,
Kröning D.
Tipo
Libro
Anno
2007
Lingua
Inglese
Editore
Springer
Collana
Test and Analysis of Web Services
Pagine
121-145
ISBN
978-3-540-72912-9
