Title: | Model Checking with Abstraction for Web Services |
---|---|
Links: | Homepage Document as PDF |
Authors: | Natasha Sharygina |
Daniel Kroening EMail | |
Remarks: | |
Topics: |
Bibtex:
@incollection{sh2007-ws, AUTHOR = { Sharygina, Natasha and Kroening, Daniel }, TITLE = { Model Checking with Abstraction for Web Services }, BOOKTITLE = { Test and Analysis of Web Services }, YEAR = { 2007 }, PUBLISHER = { Springer }, PAGES = { 121--145 }, ISBN = { 3540729119 }, EDITOR = { Luciano Baresi and Elisabetta DiNitto }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.