Checking and Reasoning about Semantic Web through Alloy

Search

Authors:

Jin Song Dong, Jing Sun and Hai Wang

Publication Venue:

12th International Symposium on Formal Methods Europe (FM'03)

When Published:

Sep 1 2003

Attachment	Size
fm03dsw.pdf	294.07 KB

by anonymous

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte