Login / Signup
Pattern-Based Verification of Programs with Extended Linear Linked Data Structures.
Milan Ceska
Pavel Erlebach
Tomás Vojnar
Published in:
Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
</>
linked data
linked open data
semantic web
semantic data
structured data
structured information
data integration
semantic search
data publishing
open data
data sources
model checking
mashup
open government data
expert search
using semantic web technologies