Home › Publications › Model Checking with Abstraction for Web Services.

Model Checking with Abstraction for Web Services.

Publication Type:

Book

Authors:

Sharygina, N.; Kröning, D.

Source:

Test and Analysis of Web Services, Springer, p.121-145 (2007)

ISBN:

978-3-540-72912-9 

@book { conf/swb/Sharygi,
	title = {Model Checking with Abstraction for Web Services.},
	series = {Test and Analysis of Web Services},
	year = {2007},
	pages = {121-145},
	publisher = {Springer},
	type = {incollection},
	ISBN = {978-3-540-72912-9},
	author = { Sharygina, Natasha  and   Kröning, Daniel}
	editor = {Luciano Baresi and Elisabetta Di Nitto},
}