Automatically assigned DDC number: 00514

Manually assigned DDC number: 00514

Number of references: 29

Title: A Game-Based Framework for CTL Counterexamples and Abstraction-Refinement

Author:

Subject: Sharon Shoham A Game-Based Framework for CTL Counterexamples and Abstraction-Refinement

Description: Notation and Abbreviations 3 1

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 2003-11-26

Format: ps

Identifier: http://citeseer.ist.psu.edu/651075.html

Source: http://www.cs.technion.ac.il/users/orna/SharonSthesis.ps.gz

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

<?xml   version="1.0"   encoding="UTF-8"?>

<references_metadata>

      <rec   ID="/448837.html"   Type="article"   CiteSeer_Book="Lecture   Notes   in   Computer   Science"   CiteSeer_Volume="2102"   Title="Model   Checking   with   Formula-Dependent   Abstract   Models,">

            <identifier   Org="ISBN:3540405240"   Paper_ID="/448837.html"   Extracted="3540405240"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540423451"   Paper_ID="/448837.html"   Extracted="3540423451"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540439285"   Paper_ID="/448837.html"   Extracted="3540439285"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.3333333333333333"   />

      </rec>

      <rec   ID="/512902.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Symbolic   localization   reduction   with   reconstruction   layering   and   backtracking,">

            <identifier   Org="ISBN:0387341552"   Paper_ID="/512902.html"   Extracted="0387341552"   DDC="621.3"   Normalized_DDC="6213"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:1586038435"   Paper_ID="/512902.html"   Extracted="1586038435"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540008985"   Paper_ID="/512902.html"   Extracted="3540008985"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540272313"   Paper_ID="/512902.html"   Extracted="3540272313"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540405240"   Paper_ID="/512902.html"   Extracted="3540405240"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540439978"   Paper_ID="/512902.html"   Extracted="3540439978"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.16666666666666666"   />

      </rec>

      <rec   ID="/175303.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   sixth   International   Conference   on   ComputerAided   Verification   CAV"   CiteSeer_Volume=""   Title="An   Automata-Theoretic   Approach   to   Branching-Time   Model   Checking,">

            <identifier   Org="ISBN:078032563X"   Paper_ID="/175303.html"   Extracted="078032563X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1586037315"   Paper_ID="/175303.html"   Extracted="1586037315"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1586037943"   Paper_ID="/175303.html"   Extracted="1586037943"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540002251"   Paper_ID="/175303.html"   Extracted="3540002251"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540008985"   Paper_ID="/175303.html"   Extracted="3540008985"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540242880"   Paper_ID="/175303.html"   Extracted="3540242880"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540253041"   Paper_ID="/175303.html"   Extracted="3540253041"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354030553X"   Paper_ID="/175303.html"   Extracted="354030553X"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540423451"   Paper_ID="/175303.html"   Extracted="3540423451"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540434771"   Paper_ID="/175303.html"   Extracted="3540434771"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540581790"   Paper_ID="/175303.html"   Extracted="3540581790"   DDC="004.2/4/015113"   Normalized_DDC="00424015113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354062600X"   Paper_ID="/175303.html"   Extracted="354062600X"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540662243"   Paper_ID="/175303.html"   Extracted="3540662243"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540664254"   Paper_ID="/175303.html"   Extracted="3540664254"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540664920"   Paper_ID="/175303.html"   Extracted="3540664920"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540668365"   Paper_ID="/175303.html"   Extracted="3540668365"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540698493"   Paper_ID="/175303.html"   Extracted="3540698493"   />

            <identifier   Org="ISBN:3540705821"   Paper_ID="/175303.html"   Extracted="3540705821"   />

            <identifier   Org="ISBN:3540784977"   Paper_ID="/175303.html"   Extracted="3540784977"   DDC="003"   Normalized_DDC="003"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540938990"   Paper_ID="/175303.html"   Extracted="3540938990"   />

      </rec>

      <rec   ID="/538324.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   9th   International   SPIN   Workshop   on   Model   checking   of   Software   SPIN   02"   CiteSeer_Volume=""   Title="Local   Parallel   Model   Checking   for   the   Alternation-Free   \mu-Calculus,">

            <identifier   Org="ISBN:1586036254"   Paper_ID="/538324.html"   Extracted="1586036254"   />

            <identifier   Org="ISBN:3540237380"   Paper_ID="/538324.html"   Extracted="3540237380"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.5"   />

            <identifier   Org="ISBN:3540405240"   Paper_ID="/538324.html"   Extracted="3540405240"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.5"   />

      </rec>

      <rec   ID="/290786.html"   Type="inproceedings"   CiteSeer_Book="Computer   Aided   Verification"   CiteSeer_Volume=""   Title="Model   Checking   Partial   State   Spaces   with   3-Valued   Temporal   Logics,">

            <identifier   Org="ISBN:0769518508"   Paper_ID="/290786.html"   Extracted="0769518508"   />

            <identifier   Org="ISBN:1586038435"   Paper_ID="/290786.html"   Extracted="1586038435"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540202234"   Paper_ID="/290786.html"   Extracted="3540202234"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540213775"   Paper_ID="/290786.html"   Extracted="3540213775"   DDC="004.0151"   Normalized_DDC="0040151"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540222650"   Paper_ID="/290786.html"   Extracted="3540222650"   DDC="519.22"   Normalized_DDC="51922"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540228497"   Paper_ID="/290786.html"   Extracted="3540228497"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540237380"   Paper_ID="/290786.html"   Extracted="3540237380"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540272313"   Paper_ID="/290786.html"   Extracted="3540272313"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540291318"   Paper_ID="/290786.html"   Extracted="3540291318"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540421246"   Paper_ID="/290786.html"   Extracted="3540421246"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540424970"   Paper_ID="/290786.html"   Extracted="3540424970"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540434771"   Paper_ID="/290786.html"   Extracted="3540434771"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540439978"   Paper_ID="/290786.html"   Extracted="3540439978"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540662022"   Paper_ID="/290786.html"   Extracted="3540662022"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540678972"   Paper_ID="/290786.html"   Extracted="3540678972"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540691634"   Paper_ID="/290786.html"   Extracted="3540691634"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540697357"   Paper_ID="/290786.html"   Extracted="3540697357"   DDC="005.14"   Normalized_DDC="00514"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540740600"   Paper_ID="/290786.html"   Extracted="3540740600"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540744061"   Paper_ID="/290786.html"   Extracted="3540744061"   />

            <identifier   Org="ISBN:354088386X"   Paper_ID="/290786.html"   Extracted="354088386X"   />

      </rec>

      <rec   ID="/336228.html"   Type="article"   CiteSeer_Book="Lecture   Notes   in   Computer   Science"   CiteSeer_Volume="1877"   Title="Generalized   Model   Checking:   Reasoning   about   Partial   State   Spaces,">

            <identifier   Org="ISBN:3540202234"   Paper_ID="/336228.html"   Extracted="3540202234"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540222650"   Paper_ID="/336228.html"   Extracted="3540222650"   DDC="519.22"   Normalized_DDC="51922"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540228497"   Paper_ID="/336228.html"   Extracted="3540228497"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540237380"   Paper_ID="/336228.html"   Extracted="3540237380"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354029208X"   Paper_ID="/336228.html"   Extracted="354029208X"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354031198X"   Paper_ID="/336228.html"   Extracted="354031198X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540405240"   Paper_ID="/336228.html"   Extracted="3540405240"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540407537"   Paper_ID="/336228.html"   Extracted="3540407537"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540421246"   Paper_ID="/336228.html"   Extracted="3540421246"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540424970"   Paper_ID="/336228.html"   Extracted="3540424970"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540439137"   Paper_ID="/336228.html"   Extracted="3540439137"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540439978"   Paper_ID="/336228.html"   Extracted="3540439978"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540440437"   Paper_ID="/336228.html"   Extracted="3540440437"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540678972"   Paper_ID="/336228.html"   Extracted="3540678972"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540681426"   Paper_ID="/336228.html"   Extracted="3540681426"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540697357"   Paper_ID="/336228.html"   Extracted="3540697357"   DDC="005.14"   Normalized_DDC="00514"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540733671"   Paper_ID="/336228.html"   Extracted="3540733671"   />

            <identifier   Org="ISBN:3540784977"   Paper_ID="/336228.html"   Extracted="3540784977"   DDC="003"   Normalized_DDC="003"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3790815411"   Paper_ID="/336228.html"   Extracted="3790815411"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05555555555555555"   />

      </rec>

      <rec   ID="/533383.html"   Type="inproceedings"   CiteSeer_Book="Computer   Aided   Verification"   CiteSeer_Volume=""   Title="Counterexample-Guided   Abstraction   Refinement,">

            <identifier   Org="ISBN:1586035703"   Paper_ID="/533383.html"   Extracted="1586035703"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540208518"   Paper_ID="/533383.html"   Extracted="3540208518"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540236104"   Paper_ID="/533383.html"   Extracted="3540236104"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540237380"   Paper_ID="/533383.html"   Extracted="3540237380"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540238417"   Paper_ID="/533383.html"   Extracted="3540238417"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540251081"   Paper_ID="/533383.html"   Extracted="3540251081"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540272313"   Paper_ID="/533383.html"   Extracted="3540272313"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540285849"   Paper_ID="/533383.html"   Extracted="3540285849"   DDC="005.1/3"   Normalized_DDC="00513"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540405593"   Paper_ID="/533383.html"   Extracted="3540405593"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540677704"   Paper_ID="/533383.html"   Extracted="3540677704"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540697357"   Paper_ID="/533383.html"   Extracted="3540697357"   DDC="005.14"   Normalized_DDC="00514"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540705880"   Paper_ID="/533383.html"   Extracted="3540705880"   />

            <identifier   Org="ISBN:3540712089"   Paper_ID="/533383.html"   Extracted="3540712089"   />

            <identifier   Org="ISBN:3540713158"   Paper_ID="/533383.html"   Extracted="3540713158"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540754539"   Paper_ID="/533383.html"   Extracted="3540754539"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540851135"   Paper_ID="/533383.html"   Extracted="3540851135"   />

            <identifier   Org="ISBN:3540894381"   Paper_ID="/533383.html"   Extracted="3540894381"   />

            <identifier   Org="ISBN:3642026516"   Paper_ID="/533383.html"   Extracted="3642026516"   />

      </rec>

      <rec   ID="/227057.html"   Type="inproceedings"   CiteSeer_Book="32nd   Design   Automation   Conference   DAC   95"   CiteSeer_Volume=""   Title="{E}fficient   {G}eneration   of   {C}ounterexamples   and   {W}itnesses   in   {S}ymbolic   {M}odel   {C}hecking,"   />

      <rec   ID="/532801.html"   Type="inproceedings"   CiteSeer_Book="Proc   of   Conference   on   ComputerAided   Verification   CAV02"   CiteSeer_Volume=""   Title="{SAT}   based   abstraction-refinement   using   {ILP}   and   machine   learning   techniques,">

            <identifier   Org="ISBN:0120121581"   Paper_ID="/532801.html"   Extracted="0120121581"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0387691669"   Paper_ID="/532801.html"   Extracted="0387691669"   DDC="621.3815/48"   Normalized_DDC="621381548"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0769522645"   Paper_ID="/532801.html"   Extracted="0769522645"   />

            <identifier   Org="ISBN:1402047576"   Paper_ID="/532801.html"   Extracted="1402047576"   DDC="621.3815"   Normalized_DDC="6213815"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1586038435"   Paper_ID="/532801.html"   Extracted="1586038435"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540001166"   Paper_ID="/532801.html"   Extracted="3540001166"   DDC="621.39/2"   Normalized_DDC="621392"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354020363X"   Paper_ID="/532801.html"   Extracted="354020363X"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540208038"   Paper_ID="/532801.html"   Extracted="3540208038"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540208518"   Paper_ID="/532801.html"   Extracted="3540208518"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540210024"   Paper_ID="/532801.html"   Extracted="3540210024"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540213775"   Paper_ID="/532801.html"   Extracted="3540213775"   DDC="004.0151"   Normalized_DDC="0040151"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540236104"   Paper_ID="/532801.html"   Extracted="3540236104"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540237380"   Paper_ID="/532801.html"   Extracted="3540237380"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540272313"   Paper_ID="/532801.html"   Extracted="3540272313"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354029189X"   Paper_ID="/532801.html"   Extracted="354029189X"   DDC="004.6/2"   Normalized_DDC="00462"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540405240"   Paper_ID="/532801.html"   Extracted="3540405240"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540406646"   Paper_ID="/532801.html"   Extracted="3540406646"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540439978"   Paper_ID="/532801.html"   Extracted="3540439978"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540712089"   Paper_ID="/532801.html"   Extracted="3540712089"   />

      </rec>

      <rec   ID="/105655.html"   Type="inproceedings"   CiteSeer_Book="Computer   Aided   Verification"   CiteSeer_Volume=""   Title="Experience   with   Predicate   Abstraction,">

            <identifier   Org="ISBN:0471787566"   Paper_ID="/105655.html"   Extracted="0471787566"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:078037889X"   Paper_ID="/105655.html"   Extracted="078037889X"   DDC="621.3815"   Normalized_DDC="6213815"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:1402006071"   Paper_ID="/105655.html"   Extracted="1402006071"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:1402080514"   Paper_ID="/105655.html"   Extracted="1402080514"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:1402081561"   Paper_ID="/105655.html"   Extracted="1402081561"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540205276"   Paper_ID="/105655.html"   Extracted="3540205276"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540208518"   Paper_ID="/105655.html"   Extracted="3540208518"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540272313"   Paper_ID="/105655.html"   Extracted="3540272313"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540405240"   Paper_ID="/105655.html"   Extracted="3540405240"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540425411"   Paper_ID="/105655.html"   Extracted="3540425411"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540439285"   Paper_ID="/105655.html"   Extracted="3540439285"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540439412"   Paper_ID="/105655.html"   Extracted="3540439412"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540672818"   Paper_ID="/105655.html"   Extracted="3540672818"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540676686"   Paper_ID="/105655.html"   Extracted="3540676686"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540677704"   Paper_ID="/105655.html"   Extracted="3540677704"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354068235X"   Paper_ID="/105655.html"   Extracted="354068235X"   />

            <identifier   Org="ISBN:3540697357"   Paper_ID="/105655.html"   Extracted="3540697357"   DDC="005.14"   Normalized_DDC="00514"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3642002544"   Paper_ID="/105655.html"   Extracted="3642002544"   />

            <identifier   Org="ISBN:3642007678"   Paper_ID="/105655.html"   Extracted="3642007678"   />

      </rec>

      <rec   ID="/471813.html"   Type="article"   CiteSeer_Book="Lecture   Notes   in   Computer   Science"   CiteSeer_Volume="2245"   Title="From   Falsification   to   Verification,">

            <identifier   Org="ISBN:1586033425"   Paper_ID="/471813.html"   Extracted="1586033425"   DDC="620/.00285/5"   Normalized_DDC="620002855"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:2856291562"   Paper_ID="/471813.html"   Extracted="2856291562"   />

            <identifier   Org="ISBN:3540003487"   Paper_ID="/471813.html"   Extracted="3540003487"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:354021299X"   Paper_ID="/471813.html"   Extracted="354021299X"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540236104"   Paper_ID="/471813.html"   Extracted="3540236104"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:354025420X"   Paper_ID="/471813.html"   Extracted="354025420X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540254358"   Paper_ID="/471813.html"   Extracted="3540254358"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540405240"   Paper_ID="/471813.html"   Extracted="3540405240"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540430024"   Paper_ID="/471813.html"   Extracted="3540430024"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540439978"   Paper_ID="/471813.html"   Extracted="3540439978"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540440437"   Paper_ID="/471813.html"   Extracted="3540440437"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540698493"   Paper_ID="/471813.html"   Extracted="3540698493"   />

      </rec>

      <rec   ID="/317278.html"   Type="article"   CiteSeer_Book="International   Journal   on   Software   Tools   for   Technology   Transfer"   CiteSeer_Volume="2"   Title="Local   Model   Checking   and   Protocol   Analysis,">

            <identifier   Org="ISBN:0769512062"   Paper_ID="/317278.html"   Extracted="0769512062"   />

            <identifier   Org="ISBN:3540008985"   Paper_ID="/317278.html"   Extracted="3540008985"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540410201"   Paper_ID="/317278.html"   Extracted="3540410201"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540441441"   Paper_ID="/317278.html"   Extracted="3540441441"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540851135"   Paper_ID="/317278.html"   Extracted="3540851135"   />

      </rec>

      <rec   ID="/447496.html"   Type="article"   CiteSeer_Book="Lecture   Notes   in   Computer   Science"   CiteSeer_Volume="2154"   Title="Abstraction-Based   Model   Checking   Using   Modal   Transition   Systems,">

            <identifier   Org="ISBN:0080441688"   Paper_ID="/447496.html"   Extracted="0080441688"   DDC="003.83"   Normalized_DDC="00383"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:1586036254"   Paper_ID="/447496.html"   Extracted="1586036254"   />

            <identifier   Org="ISBN:3540202234"   Paper_ID="/447496.html"   Extracted="3540202234"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540223819"   Paper_ID="/447496.html"   Extracted="3540223819"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540237380"   Paper_ID="/447496.html"   Extracted="3540237380"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540272313"   Paper_ID="/447496.html"   Extracted="3540272313"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540278729"   Paper_ID="/447496.html"   Extracted="3540278729"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540291318"   Paper_ID="/447496.html"   Extracted="3540291318"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540405240"   Paper_ID="/447496.html"   Extracted="3540405240"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540424970"   Paper_ID="/447496.html"   Extracted="3540424970"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540434771"   Paper_ID="/447496.html"   Extracted="3540434771"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540439978"   Paper_ID="/447496.html"   Extracted="3540439978"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540691634"   Paper_ID="/447496.html"   Extracted="3540691634"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540697357"   Paper_ID="/447496.html"   Extracted="3540697357"   DDC="005.14"   Normalized_DDC="00514"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540744061"   Paper_ID="/447496.html"   Extracted="3540744061"   />

            <identifier   Org="ISBN:3540851135"   Paper_ID="/447496.html"   Extracted="3540851135"   />

            <identifier   Org="ISBN:354088386X"   Paper_ID="/447496.html"   Extracted="354088386X"   />

            <identifier   Org="ISBN:3540896732"   Paper_ID="/447496.html"   Extracted="3540896732"   />

            <identifier   Org="ISBN:3642017010"   Paper_ID="/447496.html"   Extracted="3642017010"   />

      </rec>

      <rec   ID="/571384.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="the   expressiveness   of   3-valued   models,">

            <identifier   Org="ISBN:3540202234"   Paper_ID="/571384.html"   Extracted="3540202234"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:354021299X"   Paper_ID="/571384.html"   Extracted="354021299X"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540228497"   Paper_ID="/571384.html"   Extracted="3540228497"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540237380"   Paper_ID="/571384.html"   Extracted="3540237380"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540291318"   Paper_ID="/571384.html"   Extracted="3540291318"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540405240"   Paper_ID="/571384.html"   Extracted="3540405240"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540407537"   Paper_ID="/571384.html"   Extracted="3540407537"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540784977"   Paper_ID="/571384.html"   Extracted="3540784977"   DDC="003"   Normalized_DDC="003"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540938990"   Paper_ID="/571384.html"   Extracted="3540938990"   />

      </rec>

      <rec   ID="/210287.html"   Type="inproceedings"   CiteSeer_Book="Proc   9th   INternational   Conference   on   Computer   Aided   Verification   CAV97"   CiteSeer_Volume=""   Title="Construction   of   Abstract   State   Graphs   with   {PVS},">

            <identifier   Org="ISBN:1586035703"   Paper_ID="/210287.html"   Extracted="1586035703"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1586036254"   Paper_ID="/210287.html"   Extracted="1586036254"   />

            <identifier   Org="ISBN:3540008993"   Paper_ID="/210287.html"   Extracted="3540008993"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354020363X"   Paper_ID="/210287.html"   Extracted="354020363X"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540253335"   Paper_ID="/210287.html"   Extracted="3540253335"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540254358"   Paper_ID="/210287.html"   Extracted="3540254358"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540272313"   Paper_ID="/210287.html"   Extracted="3540272313"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540304924"   Paper_ID="/210287.html"   Extracted="3540304924"   DDC="004.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540405240"   Paper_ID="/210287.html"   Extracted="3540405240"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540406646"   Paper_ID="/210287.html"   Extracted="3540406646"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540408282"   Paper_ID="/210287.html"   Extracted="3540408282"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540439412"   Paper_ID="/210287.html"   Extracted="3540439412"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540441654"   Paper_ID="/210287.html"   Extracted="3540441654"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540662022"   Paper_ID="/210287.html"   Extracted="3540662022"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540672818"   Paper_ID="/210287.html"   Extracted="3540672818"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540679596"   Paper_ID="/210287.html"   Extracted="3540679596"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540697357"   Paper_ID="/210287.html"   Extracted="3540697357"   DDC="005.14"   Normalized_DDC="00514"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354069840X"   Paper_ID="/210287.html"   Extracted="354069840X"   />

            <identifier   Org="ISBN:3540756973"   Paper_ID="/210287.html"   Extracted="3540756973"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354088386X"   Paper_ID="/210287.html"   Extracted="354088386X"   />

      </rec>

      <rec   ID="/613062.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Proof-like   Counterexamples,">

            <identifier   Org="ISBN:3540210024"   Paper_ID="/613062.html"   Extracted="3540210024"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540236104"   Paper_ID="/613062.html"   Extracted="3540236104"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:354025420X"   Paper_ID="/613062.html"   Extracted="354025420X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540408282"   Paper_ID="/613062.html"   Extracted="3540408282"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540691472"   Paper_ID="/613062.html"   Extracted="3540691472"   />

            <identifier   Org="ISBN:3540712089"   Paper_ID="/613062.html"   Extracted="3540712089"   />

      </rec>

      <rec   ID="/672161.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Temporal-safety   proofs   for   systems   code,">

            <identifier   Org="ISBN:1402081421"   Paper_ID="/672161.html"   Extracted="1402081421"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1581138199"   Paper_ID="/672161.html"   Extracted="1581138199"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1581138350"   Paper_ID="/672161.html"   Extracted="1581138350"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1581138520"   Paper_ID="/672161.html"   Extracted="1581138520"   />

            <identifier   Org="ISBN:1581139616"   Paper_ID="/672161.html"   Extracted="1581139616"   />

            <identifier   Org="ISBN:1586037315"   Paper_ID="/672161.html"   Extracted="1586037315"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540210024"   Paper_ID="/672161.html"   Extracted="3540210024"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540227911"   Paper_ID="/672161.html"   Extracted="3540227911"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540253335"   Paper_ID="/672161.html"   Extracted="3540253335"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:354025420X"   Paper_ID="/672161.html"   Extracted="354025420X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540254358"   Paper_ID="/672161.html"   Extracted="3540254358"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540281959"   Paper_ID="/672161.html"   Extracted="3540281959"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540439978"   Paper_ID="/672161.html"   Extracted="3540439978"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540697357"   Paper_ID="/672161.html"   Extracted="3540697357"   DDC="005.14"   Normalized_DDC="00514"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540698493"   Paper_ID="/672161.html"   Extracted="3540698493"   />

            <identifier   Org="ISBN:3540733698"   Paper_ID="/672161.html"   Extracted="3540733698"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540752080"   Paper_ID="/672161.html"   Extracted="3540752080"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3642026575"   Paper_ID="/672161.html"   Extracted="3642026575"   />

      </rec>

      <rec   ID="/667938.html"   Type="inproceedings"   CiteSeer_Book="Symposium   on   Principles   of   Programming   Languages"   CiteSeer_Volume=""   Title="Lazy   abstraction,">

            <identifier   Org="ISBN:0136744095"   Paper_ID="/667938.html"   Extracted="0136744095"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0818670339"   Paper_ID="/667938.html"   Extracted="0818670339"   />

            <identifier   Org="ISBN:1402062532"   Paper_ID="/667938.html"   Extracted="1402062532"   />

            <identifier   Org="ISBN:1402081561"   Paper_ID="/667938.html"   Extracted="1402081561"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:1586036254"   Paper_ID="/667938.html"   Extracted="1586036254"   />

            <identifier   Org="ISBN:354020363X"   Paper_ID="/667938.html"   Extracted="354020363X"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540205365"   Paper_ID="/667938.html"   Extracted="3540205365"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540208038"   Paper_ID="/667938.html"   Extracted="3540208038"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540210024"   Paper_ID="/667938.html"   Extracted="3540210024"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540227911"   Paper_ID="/667938.html"   Extracted="3540227911"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540253335"   Paper_ID="/667938.html"   Extracted="3540253335"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:354025420X"   Paper_ID="/667938.html"   Extracted="354025420X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540281959"   Paper_ID="/667938.html"   Extracted="3540281959"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540408010"   Paper_ID="/667938.html"   Extracted="3540408010"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540439978"   Paper_ID="/667938.html"   Extracted="3540439978"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540586180"   Paper_ID="/667938.html"   Extracted="3540586180"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540733698"   Paper_ID="/667938.html"   Extracted="3540733698"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540756973"   Paper_ID="/667938.html"   Extracted="3540756973"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540851135"   Paper_ID="/667938.html"   Extracted="3540851135"   />

      </rec>

      <rec   ID="/399355.html"   Type="article"   CiteSeer_Book="Lecture   Notes   in   Computer   Science"   CiteSeer_Volume="2028"   Title="Modal   Transition   Systems:   {A}   Foundation   for   Three-Valued   Program   Analysis,">

            <identifier   Org="ISBN:142004382X"   Paper_ID="/399355.html"   Extracted="142004382X"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1586036254"   Paper_ID="/399355.html"   Extracted="1586036254"   />

            <identifier   Org="ISBN:3540213775"   Paper_ID="/399355.html"   Extracted="3540213775"   DDC="004.0151"   Normalized_DDC="0040151"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540223819"   Paper_ID="/399355.html"   Extracted="3540223819"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:354024297X"   Paper_ID="/399355.html"   Extracted="354024297X"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540292098"   Paper_ID="/399355.html"   Extracted="3540292098"   DDC="620.00420285"   Normalized_DDC="62000420285"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540304924"   Paper_ID="/399355.html"   Extracted="3540304924"   DDC="004.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540418652"   Paper_ID="/399355.html"   Extracted="3540418652"   DDC="004.2/11"   Normalized_DDC="004211"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540424970"   Paper_ID="/399355.html"   Extracted="3540424970"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540439978"   Paper_ID="/399355.html"   Extracted="3540439978"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540686762"   Paper_ID="/399355.html"   Extracted="3540686762"   />

            <identifier   Org="ISBN:3540691634"   Paper_ID="/399355.html"   Extracted="3540691634"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540729119"   Paper_ID="/399355.html"   Extracted="3540729119"   DDC="006.7"   Normalized_DDC="0067"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540733698"   Paper_ID="/399355.html"   Extracted="3540733698"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540740600"   Paper_ID="/399355.html"   Extracted="3540740600"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540744061"   Paper_ID="/399355.html"   Extracted="3540744061"   />

            <identifier   Org="ISBN:3540787429"   Paper_ID="/399355.html"   Extracted="3540787429"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540851135"   Paper_ID="/399355.html"   Extracted="3540851135"   />

            <identifier   Org="ISBN:3642034659"   Paper_ID="/399355.html"   Extracted="3642034659"   />

      </rec>

      <rec   ID="/17242.html"   Type="article"   CiteSeer_Book="Journal   of   the   ACM"   CiteSeer_Volume="47"   Title="An   automata-theoretic   approach   to   branching-time   model   checking,">

            <identifier   Org="ISBN:078032563X"   Paper_ID="/17242.html"   Extracted="078032563X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1586037315"   Paper_ID="/17242.html"   Extracted="1586037315"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1586037943"   Paper_ID="/17242.html"   Extracted="1586037943"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540002251"   Paper_ID="/17242.html"   Extracted="3540002251"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540008985"   Paper_ID="/17242.html"   Extracted="3540008985"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540242880"   Paper_ID="/17242.html"   Extracted="3540242880"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540253041"   Paper_ID="/17242.html"   Extracted="3540253041"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354030553X"   Paper_ID="/17242.html"   Extracted="354030553X"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540423451"   Paper_ID="/17242.html"   Extracted="3540423451"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540434771"   Paper_ID="/17242.html"   Extracted="3540434771"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540581790"   Paper_ID="/17242.html"   Extracted="3540581790"   DDC="004.2/4/015113"   Normalized_DDC="00424015113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354062600X"   Paper_ID="/17242.html"   Extracted="354062600X"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540662243"   Paper_ID="/17242.html"   Extracted="3540662243"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540664254"   Paper_ID="/17242.html"   Extracted="3540664254"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540664920"   Paper_ID="/17242.html"   Extracted="3540664920"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540668365"   Paper_ID="/17242.html"   Extracted="3540668365"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540698493"   Paper_ID="/17242.html"   Extracted="3540698493"   />

            <identifier   Org="ISBN:3540705821"   Paper_ID="/17242.html"   Extracted="3540705821"   />

            <identifier   Org="ISBN:3540784977"   Paper_ID="/17242.html"   Extracted="3540784977"   DDC="003"   Normalized_DDC="003"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540938990"   Paper_ID="/17242.html"   Extracted="3540938990"   />

      </rec>

      <rec   ID="/217271.html"   Type="inproceedings"   CiteSeer_Book="ICCAD"   CiteSeer_Volume=""   Title="Tearing   based   automatic   abstraction   for   {CTL}   model   checking,">

            <identifier   Org="ISBN:0780340930"   Paper_ID="/217271.html"   Extracted="0780340930"   DDC="621.382/15"   Normalized_DDC="62138215"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:078039979X"   Paper_ID="/217271.html"   Extracted="078039979X"   />

            <identifier   Org="ISBN:0818677554"   Paper_ID="/217271.html"   Extracted="0818677554"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:1402012705"   Paper_ID="/217271.html"   Extracted="1402012705"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:1402081561"   Paper_ID="/217271.html"   Extracted="1402081561"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:354024297X"   Paper_ID="/217271.html"   Extracted="354024297X"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540405240"   Paper_ID="/217271.html"   Extracted="3540405240"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540423451"   Paper_ID="/217271.html"   Extracted="3540423451"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540426736"   Paper_ID="/217271.html"   Extracted="3540426736"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540439978"   Paper_ID="/217271.html"   Extracted="3540439978"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540643567"   Paper_ID="/217271.html"   Extracted="3540643567"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540662022"   Paper_ID="/217271.html"   Extracted="3540662022"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.09090909090909091"   />

      </rec>

      <rec   ID="/523755.html"   Type="article"   CiteSeer_Book="Formal   Methods   in   System   Design"   CiteSeer_Volume="6"   Title="Property   Preserving   Abstractions   for   the   Verification   of   Concurrent   Systems,">

            <identifier   Org="ISBN:0387569227"   Paper_ID="/523755.html"   Extracted="0387569227"   DDC="511.3/0285"   Normalized_DDC="51130285"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:0444508120"   Paper_ID="/523755.html"   Extracted="0444508120"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:0792374703"   Paper_ID="/523755.html"   Extracted="0792374703"   DDC="004.36"   Normalized_DDC="00436"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:1402006071"   Paper_ID="/523755.html"   Extracted="1402006071"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:1402081561"   Paper_ID="/523755.html"   Extracted="1402081561"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540008993"   Paper_ID="/523755.html"   Extracted="3540008993"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540009132"   Paper_ID="/523755.html"   Extracted="3540009132"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540210024"   Paper_ID="/523755.html"   Extracted="3540210024"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540278826"   Paper_ID="/523755.html"   Extracted="3540278826"   DDC="004.13/1"   Normalized_DDC="004131"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540410554"   Paper_ID="/523755.html"   Extracted="3540410554"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540418652"   Paper_ID="/523755.html"   Extracted="3540418652"   DDC="004.2/11"   Normalized_DDC="004211"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540423451"   Paper_ID="/523755.html"   Extracted="3540423451"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540424970"   Paper_ID="/523755.html"   Extracted="3540424970"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540427872"   Paper_ID="/523755.html"   Extracted="3540427872"   DDC="004/.358"   Normalized_DDC="004358"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540600450"   Paper_ID="/523755.html"   Extracted="3540600450"   DDC="004.2/4/015113"   Normalized_DDC="00424015113"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540654623"   Paper_ID="/523755.html"   Extracted="3540654623"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540664998"   Paper_ID="/523755.html"   Extracted="3540664998"   DDC="005.2/76"   Normalized_DDC="005276"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540665595"   Paper_ID="/523755.html"   Extracted="3540665595"   DDC="621.3815"   Normalized_DDC="6213815"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540672818"   Paper_ID="/523755.html"   Extracted="3540672818"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540678972"   Paper_ID="/523755.html"   Extracted="3540678972"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.05"   />

      </rec>

      <rec   ID="/472752.html"   Type="article"   CiteSeer_Book="Lecture   Notes   in   Computer   Science"   CiteSeer_Volume="2102"   Title="Certifying   Model   Checkers,">

            <identifier   Org="ISBN:0821827375"   Paper_ID="/472752.html"   Extracted="0821827375"   DDC="532/.0527/01515353"   Normalized_DDC="532052701515353"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:1586033425"   Paper_ID="/472752.html"   Extracted="1586033425"   DDC="620/.00285/5"   Normalized_DDC="620002855"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540201750"   Paper_ID="/472752.html"   Extracted="3540201750"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540208038"   Paper_ID="/472752.html"   Extracted="3540208038"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540210024"   Paper_ID="/472752.html"   Extracted="3540210024"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354025420X"   Paper_ID="/472752.html"   Extracted="354025420X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540254358"   Paper_ID="/472752.html"   Extracted="3540254358"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540405240"   Paper_ID="/472752.html"   Extracted="3540405240"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540408282"   Paper_ID="/472752.html"   Extracted="3540408282"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540421246"   Paper_ID="/472752.html"   Extracted="3540421246"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540423451"   Paper_ID="/472752.html"   Extracted="3540423451"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540430024"   Paper_ID="/472752.html"   Extracted="3540430024"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540439978"   Paper_ID="/472752.html"   Extracted="3540439978"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540440437"   Paper_ID="/472752.html"   Extracted="3540440437"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540752080"   Paper_ID="/472752.html"   Extracted="3540752080"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540787992"   Paper_ID="/472752.html"   Extracted="3540787992"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354088386X"   Paper_ID="/472752.html"   Extracted="354088386X"   />

      </rec>

      <rec   ID="/53536.html"   Type="inproceedings"   CiteSeer_Book="Design   Automation   Conference"   CiteSeer_Volume=""   Title="Incremental   {CTL}   Model   Checking   Using   {BDD}   Subsetting,">

            <identifier   Org="ISBN:0387341552"   Paper_ID="/53536.html"   Extracted="0387341552"   DDC="621.3"   Normalized_DDC="6213"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:0780399277"   Paper_ID="/53536.html"   Extracted="0780399277"   />

            <identifier   Org="ISBN:1402081561"   Paper_ID="/53536.html"   Extracted="1402081561"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540001166"   Paper_ID="/53536.html"   Extracted="3540001166"   DDC="621.39/2"   Normalized_DDC="621392"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:354021299X"   Paper_ID="/53536.html"   Extracted="354021299X"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540439978"   Paper_ID="/53536.html"   Extracted="3540439978"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540677704"   Paper_ID="/53536.html"   Extracted="3540677704"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540851135"   Paper_ID="/53536.html"   Extracted="3540851135"   />

      </rec>

      <rec   ID="/466084.html"   Type="inproceedings"   CiteSeer_Book="Computer   Aided   Verification"   CiteSeer_Volume=""   Title="Syntactic   Program   Transformations   for   Automatic   Abstraction,">

            <identifier   Org="ISBN:1402080514"   Paper_ID="/466084.html"   Extracted="1402080514"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:1402081561"   Paper_ID="/466084.html"   Extracted="1402081561"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:1586036254"   Paper_ID="/466084.html"   Extracted="1586036254"   />

            <identifier   Org="ISBN:3540008985"   Paper_ID="/466084.html"   Extracted="3540008985"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540008993"   Paper_ID="/466084.html"   Extracted="3540008993"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540205276"   Paper_ID="/466084.html"   Extracted="3540205276"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540208518"   Paper_ID="/466084.html"   Extracted="3540208518"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540210024"   Paper_ID="/466084.html"   Extracted="3540210024"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540213775"   Paper_ID="/466084.html"   Extracted="3540213775"   DDC="004.0151"   Normalized_DDC="0040151"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540272313"   Paper_ID="/466084.html"   Extracted="3540272313"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540285849"   Paper_ID="/466084.html"   Extracted="3540285849"   DDC="005.1/3"   Normalized_DDC="00513"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354029189X"   Paper_ID="/466084.html"   Extracted="354029189X"   DDC="004.6/2"   Normalized_DDC="00462"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540405240"   Paper_ID="/466084.html"   Extracted="3540405240"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540423451"   Paper_ID="/466084.html"   Extracted="3540423451"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540434771"   Paper_ID="/466084.html"   Extracted="3540434771"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540439978"   Paper_ID="/466084.html"   Extracted="3540439978"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540677704"   Paper_ID="/466084.html"   Extracted="3540677704"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540678972"   Paper_ID="/466084.html"   Extracted="3540678972"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540697357"   Paper_ID="/466084.html"   Extracted="3540697357"   DDC="005.14"   Normalized_DDC="00514"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540698493"   Paper_ID="/466084.html"   Extracted="3540698493"   />

      </rec>

      <rec   ID="/475452.html"   Type="article"   CiteSeer_Book="Lecture   Notes   in   Computer   Science"   CiteSeer_Volume="2057"   Title="From   Model   Checking   to   a   Temporal   Proof,">

            <identifier   Org="ISBN:0387951067"   Paper_ID="/475452.html"   Extracted="0387951067"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:0821827375"   Paper_ID="/475452.html"   Extracted="0821827375"   DDC="532/.0527/01515353"   Normalized_DDC="532052701515353"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:354021299X"   Paper_ID="/475452.html"   Extracted="354021299X"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540254358"   Paper_ID="/475452.html"   Extracted="3540254358"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540405240"   Paper_ID="/475452.html"   Extracted="3540405240"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540423451"   Paper_ID="/475452.html"   Extracted="3540423451"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540430024"   Paper_ID="/475452.html"   Extracted="3540430024"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540439978"   Paper_ID="/475452.html"   Extracted="3540439978"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:354071409X"   Paper_ID="/475452.html"   Extracted="354071409X"   />

      </rec>

      <rec   ID="/35074.html"   Type="inproceedings"   CiteSeer_Book="Computer   Aided   Verification"   CiteSeer_Volume=""   Title="Automatic   Abstraction   Techniques   for   Propositional   -calculus   Model   Checking,"   />

      <rec   ID="/584797.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Evidence-based   model   checking,">

            <identifier   Org="ISBN:3540008985"   Paper_ID="/584797.html"   Extracted="3540008985"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540208038"   Paper_ID="/584797.html"   Extracted="3540208038"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540210024"   Paper_ID="/584797.html"   Extracted="3540210024"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540236104"   Paper_ID="/584797.html"   Extracted="3540236104"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:354025420X"   Paper_ID="/584797.html"   Extracted="354025420X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540254358"   Paper_ID="/584797.html"   Extracted="3540254358"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:354029189X"   Paper_ID="/584797.html"   Extracted="354029189X"   DDC="004.6/2"   Normalized_DDC="00462"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540405240"   Paper_ID="/584797.html"   Extracted="3540405240"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540408282"   Paper_ID="/584797.html"   Extracted="3540408282"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540439978"   Paper_ID="/584797.html"   Extracted="3540439978"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.1"   />

      </rec>

      <rec   ID="/447317.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="LTL   model   checking   for   systems   with   unbounded   number   of   dynamically   created   threads   and   objects,">

            <identifier   Org="ISBN:084931240X"   Paper_ID="/447317.html"   Extracted="084931240X"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.5"   />

            <identifier   Org="ISBN:3540008861"   Paper_ID="/447317.html"   Extracted="3540008861"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.5"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="A   Game-Based   Framework   for   CTL   Counterexamples   and   Abstraction-Refinement">

            <identifier   Org="ISBN:1586036254"   Paper_ID="SELF"   Extracted="1586036254"   />

            <identifier   Org="ISBN:3540292098"   Paper_ID="SELF"   Extracted="3540292098"   DDC="620.00420285"   Normalized_DDC="62000420285"   Normalized_Weight="1.0"   />

      </rec>

</references_metadata>