Linked Data Explorer
Turtle
N-Triple
JSON-LD
RDF/XML
HTML
Contact Us
Home
http://worldcat.org/entity/work/id/476636672
Tools and algorithms for the construction and analysis of systems : ... International Workshop, TACAS
Open All
Close All
type
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.productontology.org/id/Periodical_literature
http://schema.org/CreativeWork
about
http://schema.org/about
http://id.loc.gov/authorities/subjects/sh2008102927
http://id.worldcat.org/fast/1141401
http://id.worldcat.org/fast/906987
http://id.loc.gov/authorities/subjects/sh2008112431
http://id.worldcat.org/fast/872537
http://id.loc.gov/authorities/subjects/sh2008101470
creator
http://schema.org/creator
http://experiment.worldcat.org/entity/work/data/476636672#Meeting/tacas
genre
http://schema.org/genre
"
Conference papers and proceedings
"
@
en
name
http://schema.org/name
"
Tools and algorithms for the construction and analysis of systems : ... International Workshop, TACAS
"
@
en
"
Tools and algorithms for the construction and analysis of systems ... International Workshop, TACAS
"
@
en
workExample
http://schema.org/workExample
http://www.worldcat.org/oclc/607727428
http://www.worldcat.org/oclc/37020558
×
TACAS.
This is a placeholder reference for a
Meeting
entity, related to a WorldCat
Entity
. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"
TACAS.
"
http://experiment.worldcat.org/entity/work/data/476636672#Meeting/tacas