DBLP:conf/vldb/RomanK07 + redirect page
Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic + Has identifier
| Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic |
Has publishing details
pp. 627-638, 2007
Has title
Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/vldb/vldb2007.html#RomanK07
Has where published
VLDB
Has year
2007
Has author
Dumitru Roman +, Michael Kifer +
Has identifier
Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic +
Categories Proceeding Paper +
|
