<http://experiment.worldcat.org/entity/work/data/1152348997#Topic/verification_formelle> <http://schema.org/name> "Vérification formelle." .
<http://experiment.worldcat.org/entity/work/data/1152348997#Topic/verification_formelle> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1152348997#Organization/ieee_computer_society> <http://schema.org/name> "IEEE Computer Society." .
<http://experiment.worldcat.org/entity/work/data/1152348997#Organization/ieee_computer_society> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/1152348997#Meeting/international_symposium_on_advanced_research_in_asynchronous_circuits_and_systems_7th_2001_salt_lake_city_utah> <http://schema.org/name> "International Symposium on Advanced Research in Asynchronous Circuits and Systems (7th : 2001 : Salt Lake City, Utah)" .
<http://experiment.worldcat.org/entity/work/data/1152348997#Meeting/international_symposium_on_advanced_research_in_asynchronous_circuits_and_systems_7th_2001_salt_lake_city_utah> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1152348997#Meeting/international_symposium_on_advanced_research_in_asynchronous_circuits_and_systems_7th_2001_salt_lake_city_utah> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1152348997#Topic/evaluation_de_la_performance_congres> <http://schema.org/name> "Évaluation de la performance Congrès." .
<http://experiment.worldcat.org/entity/work/data/1152348997#Topic/evaluation_de_la_performance_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/n79053217> .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/workExample> <http://www.worldcat.org/oclc/423977531> .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/1152348997#Meeting/international_symposium_on_asynchronous_circuits_and_systems_7e_2001_salt_lake_city_utah> .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1152348997#Topic/circuit_asynchrone> .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/alternateName> "7th International Symposium on Asynchronous Circuits and Systems" .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/about> <http://id.worldcat.org/fast/819871> .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1152348997#Topic/circuit_logique> .
<http://worldcat.org/entity/work/id/1152348997> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/contributor> <http://viaf.org/viaf/159584557> .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/genre> "Ressource Internet (Descripteur de forme)" .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/workExample> <http://www.worldcat.org/oclc/612480214> .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/1152348997#Meeting/international_symposium_on_asynchronous_circuits_and_systems_7th_2001_salt_lake_city_utah> .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/workExample> <http://www.worldcat.org/oclc/52212355> .
<http://worldcat.org/entity/work/id/1152348997> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/n88041912> .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/about> <http://id.worldcat.org/fast/872900> .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1152348997#Topic/evaluation_de_la_performance> .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/alternateName> "Advanced research in asynchronous circuits and systems"@en .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1152348997#Topic/verification_formelle> .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1152348997#Topic/circuit_logique_congres> .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/no00037063> .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/alternateName> "International Symposium on Asynchronous Circuits and Systems"@en .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008102939> .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/alternateName> "Asynchronous Circuits and Systems"@en .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/alternateName> "Asynchronous circuits and systems"@en .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/contributor> <http://viaf.org/viaf/127152758> .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1152348997#Topic/circuit_asynchrone_congres> .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/name> "Seventh International Symposium on Asynchronous Circuits and Systems proceedings : ASYNC 2001 : March 11-14, 2001, Salt Lake City, Utah" .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/contributor> <http://viaf.org/viaf/154747966> .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/alternateName> "ASYNC 2000"@en .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/n78020122> .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/contributor> <http://viaf.org/viaf/139825222> .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1152348997#Topic/verification_formelle_congres> .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/alternateName> "ASYNC 2001"@en .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1152348997#Topic/evaluation_de_la_performance_congres> .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85029569> .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh93006345> .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/workExample> <http://www.worldcat.org/oclc/46547224> .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/name> "Seventh International Symposium on Asynchronous Circuits and Systems ASYNC 2001 : proceedings : March 11-14, 2001, Salt Lake City, Utah"@en .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/name> "Seventh International Symposium on Asynchronous Circuits and Systems ASYNC 2001 proceedings : March 11-14, 2001, Salt Lake City, Utah"@en .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/1152348997#Organization/ieee_computer_society> .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/about> <http://id.worldcat.org/fast/908298> .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/contributor> <http://viaf.org/viaf/123926298> .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/n91120720> .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/1152348997#Meeting/international_symposium_on_advanced_research_in_asynchronous_circuits_and_systems_7th_2001_salt_lake_city_utah> .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/name> "Seventh International Symposium on Asynchronous Circuits and Systems : ASYNC 2001 : proceedings : March 11-14, 2001, Salt Lake City, Utah"@en .
<http://worldcat.org/entity/work/id/1152348997> <http://schema.org/genre> "Conference papers and proceedings"@en .
<http://experiment.worldcat.org/entity/work/data/1152348997.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/1152348997.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/1152348997> .
<http://experiment.worldcat.org/entity/work/data/1152348997#Meeting/international_symposium_on_asynchronous_circuits_and_systems_7e_2001_salt_lake_city_utah> <http://schema.org/name> "International Symposium on Asynchronous Circuits and Systems (7e : 2001 : Salt Lake City, Utah)" .
<http://experiment.worldcat.org/entity/work/data/1152348997#Meeting/international_symposium_on_asynchronous_circuits_and_systems_7e_2001_salt_lake_city_utah> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1152348997#Meeting/international_symposium_on_asynchronous_circuits_and_systems_7e_2001_salt_lake_city_utah> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1152348997#Topic/circuit_logique_congres> <http://schema.org/name> "Circuit logique Congrès." .
<http://experiment.worldcat.org/entity/work/data/1152348997#Topic/circuit_logique_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1152348997#Topic/circuit_asynchrone_congres> <http://schema.org/name> "Circuit asynchrone Congrès." .
<http://experiment.worldcat.org/entity/work/data/1152348997#Topic/circuit_asynchrone_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1152348997#Topic/verification_formelle_congres> <http://schema.org/name> "Vérification formelle Congrès." .
<http://experiment.worldcat.org/entity/work/data/1152348997#Topic/verification_formelle_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1152348997#Topic/circuit_logique> <http://schema.org/name> "Circuit logique." .
<http://experiment.worldcat.org/entity/work/data/1152348997#Topic/circuit_logique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1152348997#Topic/circuit_asynchrone> <http://schema.org/name> "Circuit asynchrone." .
<http://experiment.worldcat.org/entity/work/data/1152348997#Topic/circuit_asynchrone> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1152348997#Topic/evaluation_de_la_performance> <http://schema.org/name> "Évaluation de la performance." .
<http://experiment.worldcat.org/entity/work/data/1152348997#Topic/evaluation_de_la_performance> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1152348997#Meeting/international_symposium_on_asynchronous_circuits_and_systems_7th_2001_salt_lake_city_utah> <http://schema.org/name> "International Symposium on Asynchronous Circuits and Systems (7th : 2001 : Salt Lake City, Utah)" .
<http://experiment.worldcat.org/entity/work/data/1152348997#Meeting/international_symposium_on_asynchronous_circuits_and_systems_7th_2001_salt_lake_city_utah> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1152348997#Meeting/international_symposium_on_asynchronous_circuits_and_systems_7th_2001_salt_lake_city_utah> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .