[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

"Model Checking with Abstraction for Web Services."

Natasha Sharygina, Daniel Kröning (2007)

Details and statistics

DOI: 10.1007/978-3-540-72912-9_5

access: closed

type: Part in Book or Collection

metadata version: 2017-05-22