<http://experiment.worldcat.org/entity/work/data/908310114#Topic/hardwareverifikation> <http://schema.org/name> "Hardwareverifikation." .
<http://experiment.worldcat.org/entity/work/data/908310114#Topic/hardwareverifikation> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/908310114#Topic/circuits_electroniques_calcul_informatique_congres> <http://schema.org/name> "Circuits électroniques Calcul Informatique Congrès." .
<http://experiment.worldcat.org/entity/work/data/908310114#Topic/circuits_electroniques_calcul_informatique_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/908310114#Topic/circuits_electroniques_calcul_informatique_congres> <http://schema.org/name> "Circuits électroniques - Calcul - Informatique - Congrès." .
<http://experiment.worldcat.org/entity/work/data/908310114#Topic/conception_circuit> <http://schema.org/name> "conception circuit." .
<http://experiment.worldcat.org/entity/work/data/908310114#Topic/conception_circuit> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/name> "Designing correct circuits workshop jointly organised by the universities of Oxford and Glasgow, 26-28 September 1990, Oxford" .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/name> "Designing correct circuits workshop jointly organised by the universities of Oxford and Glasgow, 26-28 September 1990, Oxford"@en .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/908310114#Organization/university_of_glasgow_gb> .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/about> <http://id.worldcat.org/fast/906866> .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/about> <http://id.worldcat.org/fast/872701> .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/908310114#Meeting/workshop_on_designing_correct_circuits_1990_oxford> .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/908310114#Meeting/workshop_on_designing_correct_circuits_oxford_gb_1990> .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/contributor> <http://viaf.org/viaf/135448238> .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/genre> "Kongress"@en .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/genre> "Kongress" .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/name> "Designing correct circuits : Workshop : Papers"@en .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2633092038> .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/name> "Designing correct circuits" .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/workExample> <http://www.worldcat.org/oclc/493454144> .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/n79056431> .
<http://worldcat.org/entity/work/id/908310114> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/genre> "Kongreß" .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/about> <http://id.worldcat.org/fast/1002035> .
<http://worldcat.org/entity/work/id/908310114> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/workExample> <http://www.worldcat.org/oclc/636151770> .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/name> "Designing Correct Circuits Workshop jointly organised by the Universities of Oxford and Glasgow, 26-28 September 1990, Oxford" .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/workExample> <http://www.worldcat.org/oclc/497282216> .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/n79129619> .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/908310114#Topic/circuit_electronique> .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/workExample> <http://www.worldcat.org/oclc/551532282> .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85078116> .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/genre> "Electronic books"@en .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/contributor> <http://viaf.org/viaf/142129514> .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/name> "Designing correct circuits : Workshop jointly organised by the Universities of Oxford and Glasgow, 26-28 September 1990, Oxford" .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/alternateName> "Designing correct circuits, Oxford 1990" .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008101464> .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/n79095521> .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/name> "Designing correct circuits : workshop jointly organised by the Universities of Oxford and Glasgow ... 1990, Oxford"@en .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/908310114#Topic/conception_assistee_par_ordinateur_congres> .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/908310114#Meeting/workshop_on_designing_correct_circuits_3_1996_b_astad> .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2628358906> .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/908310114#Topic/computerarchitektur> .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/908310114#Topic/schaltungsentwurf> .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/workExample> <http://www.worldcat.org/oclc/24724511> .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/908310114#Place/oxford_&lt_1990&gt> .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/contributor> <http://viaf.org/viaf/157362130> .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008102924> .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/908310114#Topic/circuits_electroniques_calcul_informatique_congres> .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/908310114#Topic/circuits_logiques_informatique_congres> .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/908310114#Organization/oxford_university_gb> .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/genre> "Conference papers and proceedings"@en .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/genre> "Conference papers and proceedings" .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/workExample> <http://www.worldcat.org/oclc/23252959> .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/alternateName> "Designing correct circuits : Oxford 1990" .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/908310114#Topic/conception_circuit> .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/workExample> <http://www.worldcat.org/oclc/867193022> .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/workExample> <http://www.worldcat.org/oclc/499523892> .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/name> "Designing correct circuits : workshop jointly organised by the universities of Oxford and Glasgow, 26-28 September 1990, Oxford" .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/description> "This volume contains the papers presented at the workshop on Designing Correct Circuits, jointly organised by the Universities of Oxford and Glasgow, and held in Oxford on 26-28 September 1990. There is a growing interest in the application of software engineering techniques to hardware design. As the complexity of hardware systems grows, and as the cost both in money and time of making design errors becomes more apparent, so there is an eagerness to build on the success of mathematical techniques in program development. The authors consider the application of mathematics to hardware design at several different levels of abstraction and present a good cross-section of current work developing and applying formal methods in circuit design."@en .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/908310114#Topic/circuits_imprimes_conception_et_construction_informatique_congres> .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/genre> "Oxford (1990)" .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/genre> "Oxford (1990)"@en .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/908310114#Topic/hardwareverifikation> .
<http://worldcat.org/entity/work/id/908310114> <http://schema.org/workExample> <http://www.worldcat.org/oclc/757031301> .
<http://experiment.worldcat.org/entity/work/data/908310114#Topic/circuits_imprimes_conception_et_construction_informatique_congres> <http://schema.org/name> "Circuits imprimés Conception et construction Informatique Congrès." .
<http://experiment.worldcat.org/entity/work/data/908310114#Topic/circuits_imprimes_conception_et_construction_informatique_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/908310114#Topic/circuit_electronique> <http://schema.org/name> "circuit électronique." .
<http://experiment.worldcat.org/entity/work/data/908310114#Topic/circuit_electronique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/908310114#Organization/university_of_glasgow_gb> <http://schema.org/name> "University of Glasgow (GB)" .
<http://experiment.worldcat.org/entity/work/data/908310114#Organization/university_of_glasgow_gb> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/908310114#Place/oxford_&lt_1990&gt> <http://schema.org/name> "Oxford &lt;1990&gt;" .
<http://experiment.worldcat.org/entity/work/data/908310114#Place/oxford_&lt_1990&gt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Place> .
<http://experiment.worldcat.org/entity/work/data/908310114#Meeting/workshop_on_designing_correct_circuits_oxford_gb_1990> <http://schema.org/name> "Workshop on Designing Correct Circuits (Oxford, GB) (1990)." .
<http://experiment.worldcat.org/entity/work/data/908310114#Meeting/workshop_on_designing_correct_circuits_oxford_gb_1990> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/908310114#Meeting/workshop_on_designing_correct_circuits_oxford_gb_1990> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/908310114#Topic/computerarchitektur> <http://schema.org/name> "Computerarchitektur." .
<http://experiment.worldcat.org/entity/work/data/908310114#Topic/computerarchitektur> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/908310114.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/908310114.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/908310114> .
<http://experiment.worldcat.org/entity/work/data/908310114#Topic/circuits_logiques_informatique_congres> <http://schema.org/name> "Circuits logiques Informatique Congrès." .
<http://experiment.worldcat.org/entity/work/data/908310114#Topic/circuits_logiques_informatique_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/908310114#Topic/circuits_logiques_informatique_congres> <http://schema.org/name> "Circuits logiques - Informatique - Congrès." .
<http://experiment.worldcat.org/entity/work/data/908310114#Topic/conception_assistee_par_ordinateur_congres> <http://schema.org/name> "Conception assistée par ordinateur Congrès." .
<http://experiment.worldcat.org/entity/work/data/908310114#Topic/conception_assistee_par_ordinateur_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/908310114#Topic/conception_assistee_par_ordinateur_congres> <http://schema.org/name> "Conception assistée par ordinateur - Congrès." .
<http://experiment.worldcat.org/entity/work/data/908310114#Organization/oxford_university_gb> <http://schema.org/name> "Oxford University (GB)" .
<http://experiment.worldcat.org/entity/work/data/908310114#Organization/oxford_university_gb> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/908310114#Topic/schaltungsentwurf> <http://schema.org/name> "Schaltungsentwurf." .
<http://experiment.worldcat.org/entity/work/data/908310114#Topic/schaltungsentwurf> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/908310114#Topic/schaltungsentwurf> <http://schema.org/name> "Schaltungsentwurf" .
<http://experiment.worldcat.org/entity/work/data/908310114#Meeting/workshop_on_designing_correct_circuits_3_1996_b_astad> <http://schema.org/name> "Workshop on Designing Correct Circuits 3 1996 B°astad" .
<http://experiment.worldcat.org/entity/work/data/908310114#Meeting/workshop_on_designing_correct_circuits_3_1996_b_astad> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/908310114#Meeting/workshop_on_designing_correct_circuits_3_1996_b_astad> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/908310114#Meeting/workshop_on_designing_correct_circuits_1990_oxford> <http://schema.org/name> "Workshop on Designing Correct Circuits (1990 ; Oxford)" .
<http://experiment.worldcat.org/entity/work/data/908310114#Meeting/workshop_on_designing_correct_circuits_1990_oxford> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/908310114#Meeting/workshop_on_designing_correct_circuits_1990_oxford> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .