<http://experiment.worldcat.org/entity/work/data/23817524.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/23817524.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/23817524> .
<http://worldcat.org/entity/work/id/23817524> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2640557824> .
<http://worldcat.org/entity/work/id/23817524> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/23817524> <http://schema.org/workExample> <http://www.worldcat.org/oclc/254698987> .
<http://worldcat.org/entity/work/id/23817524> <http://schema.org/name> "Finite-state analysis of asynchronous circuits with bounded temporal uncertainty" .
<http://worldcat.org/entity/work/id/23817524> <http://schema.org/workExample> <http://www.worldcat.org/oclc/21991646> .
<http://worldcat.org/entity/work/id/23817524> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85041611> .
<http://worldcat.org/entity/work/id/23817524> <http://schema.org/about> <http://id.worldcat.org/fast/904545> .
<http://worldcat.org/entity/work/id/23817524> <http://schema.org/name> "Finite-state analysis of asynchronous circuits with bounded temporal uncertainty"@en .