<http://experiment.worldcat.org/entity/work/data/476636672.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/476636672.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/476636672> .
<http://experiment.worldcat.org/entity/work/data/476636672#Meeting/tacas> <http://schema.org/name> "TACAS." .
<http://experiment.worldcat.org/entity/work/data/476636672#Meeting/tacas> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/476636672#Meeting/tacas> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://worldcat.org/entity/work/id/476636672> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Periodical_literature> .
<http://worldcat.org/entity/work/id/476636672> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008102927> .
<http://worldcat.org/entity/work/id/476636672> <http://schema.org/workExample> <http://www.worldcat.org/oclc/607727428> .
<http://worldcat.org/entity/work/id/476636672> <http://schema.org/about> <http://id.worldcat.org/fast/1141401> .
<http://worldcat.org/entity/work/id/476636672> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/476636672#Meeting/tacas> .
<http://worldcat.org/entity/work/id/476636672> <http://schema.org/about> <http://id.worldcat.org/fast/906987> .
<http://worldcat.org/entity/work/id/476636672> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008112431> .
<http://worldcat.org/entity/work/id/476636672> <http://schema.org/name> "Tools and algorithms for the construction and analysis of systems : ... International Workshop, TACAS"@en .
<http://worldcat.org/entity/work/id/476636672> <http://schema.org/about> <http://id.worldcat.org/fast/872537> .
<http://worldcat.org/entity/work/id/476636672> <http://schema.org/genre> "Conference papers and proceedings"@en .
<http://worldcat.org/entity/work/id/476636672> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008101470> .
<http://worldcat.org/entity/work/id/476636672> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/476636672> <http://schema.org/name> "Tools and algorithms for the construction and analysis of systems ... International Workshop, TACAS"@en .
<http://worldcat.org/entity/work/id/476636672> <http://schema.org/workExample> <http://www.worldcat.org/oclc/37020558> .