Automatically assigned DDC number: 00514
Manually assigned DDC number: 00514
Number of references: 34
Title: Flow Analysis for Verifying Properties of Concurrent Software
Author:
Author:
Author:
Author:
Subject: Matthew B. Dwyer,Lori A. Clarke,Gleb Naumovich,Jamieson M. Cobleigh Flow Analysis for Verifying Properties of Concurrent Software
Description: This paper describes FLAVERS, a finite-state verification approach that analyzes whether concurrent systems satisfy user-defined, behavioral properties. FLAVERS automatically creates a compact, event-based model of the system that supports efficient data-flow analysis. FLAVERS achieves this efficiency at the cost of precision. Analysts, however, can improve the precision of analysis results by selectively and judiciously incorporating additional semantic information into an analysis.
Contributor: The Pennsylvania State University CiteSeer Archives
Publisher: unknown
Date: 2004-04-01
Pubyear: 2004
Format: pdf
Identifier: http://citeseer.ist.psu.edu/681773.html
Source: http://laser.cs.umass.edu/~jcobleig/publications/2004-006-long.pdf
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:
Relation:
Relation:
Relation:
Relation:
Relation:
Rights: unrestricted
<?xml version="1.0" encoding="UTF-8"?>
<references_metadata>
<rec ID="/384292.html" Type="article" CiteSeer_Book="Lecture Notes in Computer Science" CiteSeer_Volume="2057" Title="Automatically Validating Temporal Safety Properties of Interfaces,">
<identifier Org="ISBN:0817632395" Paper_ID="/384292.html" Extracted="0817632395" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1402062532" Paper_ID="/384292.html" Extracted="1402062532" />
<identifier Org="ISBN:1581139101" Paper_ID="/384292.html" Extracted="1581139101" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1586035703" Paper_ID="/384292.html" Extracted="1586035703" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540008861" Paper_ID="/384292.html" Extracted="3540008861" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354020363X" Paper_ID="/384292.html" Extracted="354020363X" DDC="621.39/5" Normalized_DDC="621395" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540208038" Paper_ID="/384292.html" Extracted="3540208038" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540208135" Paper_ID="/384292.html" Extracted="3540208135" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540210911" Paper_ID="/384292.html" Extracted="3540210911" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540213775" Paper_ID="/384292.html" Extracted="3540213775" DDC="004.0151" Normalized_DDC="0040151" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540238417" Paper_ID="/384292.html" Extracted="3540238417" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540253335" Paper_ID="/384292.html" Extracted="3540253335" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540298967" Paper_ID="/384292.html" Extracted="3540298967" />
<identifier Org="ISBN:3540304924" Paper_ID="/384292.html" Extracted="3540304924" DDC="004.01/51" Normalized_DDC="0040151" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540434771" Paper_ID="/384292.html" Extracted="3540434771" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540688544" Paper_ID="/384292.html" Extracted="3540688544" DDC="004.6/2" Normalized_DDC="00462" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540691634" Paper_ID="/384292.html" Extracted="3540691634" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540697357" Paper_ID="/384292.html" Extracted="3540697357" DDC="005.14" Normalized_DDC="00514" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540698493" Paper_ID="/384292.html" Extracted="3540698493" />
<identifier Org="ISBN:3540712089" Paper_ID="/384292.html" Extracted="3540712089" />
</rec>
<rec ID="/573617.html" Type="article" CiteSeer_Book="ACM Computing Surveys" CiteSeer_Volume="24" Title="Symbolic {Boolean} Manipulation with Ordered Binary-Decision Diagrams,">
<identifier Org="ISBN:0387244115" Paper_ID="/573617.html" Extracted="0387244115" />
<identifier Org="ISBN:0780318366" Paper_ID="/573617.html" Extracted="0780318366" />
<identifier Org="ISBN:0780336623" Paper_ID="/573617.html" Extracted="0780336623" DDC="621.39/5/0285" Normalized_DDC="6213950285" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0780358589" Paper_ID="/573617.html" Extracted="0780358589" />
<identifier Org="ISBN:0818656522" Paper_ID="/573617.html" Extracted="0818656522" />
<identifier Org="ISBN:0818677554" Paper_ID="/573617.html" Extracted="0818677554" DDC="621.39/5" Normalized_DDC="621395" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0818682078" Paper_ID="/573617.html" Extracted="0818682078" DDC="621.3819535" Normalized_DDC="6213819535" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0898714583" Paper_ID="/573617.html" Extracted="0898714583" DDC="519.2/34" Normalized_DDC="519234" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540427759" Paper_ID="/573617.html" Extracted="3540427759" DDC="510" Normalized_DDC="51" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540578684" Paper_ID="/573617.html" Extracted="3540578684" DDC="006.3/1" Normalized_DDC="00631" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:354058403X" Paper_ID="/573617.html" Extracted="354058403X" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540601058" Paper_ID="/573617.html" Extracted="3540601058" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540605738" Paper_ID="/573617.html" Extracted="3540605738" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540627901" Paper_ID="/573617.html" Extracted="3540627901" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540642307" Paper_ID="/573617.html" Extracted="3540642307" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540648275" Paper_ID="/573617.html" Extracted="3540648275" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540651918" Paper_ID="/573617.html" Extracted="3540651918" DDC="621.39/2" Normalized_DDC="621392" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540752552" Paper_ID="/573617.html" Extracted="3540752552" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
</rec>
<rec ID="/86943.html" Type="inproceedings" CiteSeer_Book="Proceedings of the ACM SIGSOFT 94 Symposium on the Foundations of Software Engineering" CiteSeer_Volume="" Title="Towards Scalable Compositional Analysis,">
<identifier Org="ISBN:0818675705" Paper_ID="/86943.html" Extracted="0818675705" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.5" />
<identifier Org="ISBN:0818679611" Paper_ID="/86943.html" Extracted="0818679611" />
<identifier Org="ISBN:3540281959" Paper_ID="/86943.html" Extracted="3540281959" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.5" />
</rec>
<rec ID="/505743.html" Type="inproceedings" CiteSeer_Book="International Conference on Software Engineering" CiteSeer_Volume="" Title="The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification,">
<identifier Org="ISBN:3540434771" Paper_ID="/505743.html" Extracted="3540434771" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="1.0" />
</rec>
<rec ID="/247584.html" Type="inproceedings" CiteSeer_Book="International Conference on Software Engineering" CiteSeer_Volume="" Title="Bandera: extracting finite-state models from Java source code,">
<identifier Org="ISBN:0849328241" Paper_ID="/247584.html" Extracted="0849328241" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.0625" />
<identifier Org="ISBN:158113262X" Paper_ID="/247584.html" Extracted="158113262X" />
<identifier Org="ISBN:3540203036" Paper_ID="/247584.html" Extracted="3540203036" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540213147" Paper_ID="/247584.html" Extracted="3540213147" DDC="005.14" Normalized_DDC="00514" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540213775" Paper_ID="/247584.html" Extracted="3540213775" DDC="004.0151" Normalized_DDC="0040151" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540238417" Paper_ID="/247584.html" Extracted="3540238417" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540253335" Paper_ID="/247584.html" Extracted="3540253335" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354025420X" Paper_ID="/247584.html" Extracted="354025420X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540297359" Paper_ID="/247584.html" Extracted="3540297359" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540408282" Paper_ID="/247584.html" Extracted="3540408282" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540410309" Paper_ID="/247584.html" Extracted="3540410309" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540418652" Paper_ID="/247584.html" Extracted="3540418652" DDC="004.2/11" Normalized_DDC="004211" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540423451" Paper_ID="/247584.html" Extracted="3540423451" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540424970" Paper_ID="/247584.html" Extracted="3540424970" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540695060" Paper_ID="/247584.html" Extracted="3540695060" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540732292" Paper_ID="/247584.html" Extracted="3540732292" />
<identifier Org="ISBN:3540733698" Paper_ID="/247584.html" Extracted="3540733698" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540787429" Paper_ID="/247584.html" Extracted="3540787429" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540851135" Paper_ID="/247584.html" Extracted="3540851135" />
</rec>
<rec ID="/566860.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="Learning assumptions for compositional verification,">
<identifier Org="ISBN:3540008985" Paper_ID="/566860.html" Extracted="3540008985" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.125" />
<identifier Org="ISBN:354021299X" Paper_ID="/566860.html" Extracted="354021299X" DDC="005.1/2" Normalized_DDC="00512" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540213775" Paper_ID="/566860.html" Extracted="3540213775" DDC="004.0151" Normalized_DDC="0040151" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540236104" Paper_ID="/566860.html" Extracted="3540236104" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.125" />
<identifier Org="ISBN:354068235X" Paper_ID="/566860.html" Extracted="354068235X" />
<identifier Org="ISBN:354069823X" Paper_ID="/566860.html" Extracted="354069823X" />
<identifier Org="ISBN:354070843X" Paper_ID="/566860.html" Extracted="354070843X" />
<identifier Org="ISBN:3540712089" Paper_ID="/566860.html" Extracted="3540712089" />
<identifier Org="ISBN:3540731954" Paper_ID="/566860.html" Extracted="3540731954" DDC="004.6/2" Normalized_DDC="00462" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540733671" Paper_ID="/566860.html" Extracted="3540733671" />
<identifier Org="ISBN:3540740600" Paper_ID="/566860.html" Extracted="3540740600" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540744061" Paper_ID="/566860.html" Extracted="3540744061" />
<identifier Org="ISBN:3540787429" Paper_ID="/566860.html" Extracted="3540787429" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540787992" Paper_ID="/566860.html" Extracted="3540787992" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.125" />
<identifier Org="ISBN:354085570X" Paper_ID="/566860.html" Extracted="354085570X" />
<identifier Org="ISBN:354088193X" Paper_ID="/566860.html" Extracted="354088193X" />
<identifier Org="ISBN:3642005926" Paper_ID="/566860.html" Extracted="3642005926" />
<identifier Org="ISBN:3642007678" Paper_ID="/566860.html" Extracted="3642007678" />
</rec>
<rec ID="/148046.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="An Empirical Comparison of Static Concurrency Analysis Techniques,">
<identifier Org="ISBN:0818679611" Paper_ID="/148046.html" Extracted="0818679611" />
<identifier Org="ISBN:3540648968" Paper_ID="/148046.html" Extracted="3540648968" DDC="004" Normalized_DDC="004" Normalized_Weight="0.3333333333333333" />
<identifier Org="ISBN:3540656995" Paper_ID="/148046.html" Extracted="3540656995" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.3333333333333333" />
<identifier Org="ISBN:3540664998" Paper_ID="/148046.html" Extracted="3540664998" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.3333333333333333" />
<identifier Org="ISBN:3540705414" Paper_ID="/148046.html" Extracted="3540705414" />
</rec>
<rec ID="/53287.html" Type="inproceedings" CiteSeer_Book="Proceedings of theFourthEuropean Software Engineering Conference" CiteSeer_Volume="" Title="Tractable Flow Analysis for Anomaly Detection in Distributed Programs,">
<identifier Org="ISBN:0262161893" Paper_ID="/53287.html" Extracted="0262161893" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.2" />
<identifier Org="ISBN:0780329465" Paper_ID="/53287.html" Extracted="0780329465" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540572090" Paper_ID="/53287.html" Extracted="3540572090" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540612858" Paper_ID="/53287.html" Extracted="3540612858" DDC="005.1/2" Normalized_DDC="00512" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540634789" Paper_ID="/53287.html" Extracted="3540634789" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.2" />
</rec>
<rec ID="/85761.html" Type="article" CiteSeer_Book="Software Engineering" CiteSeer_Volume="22" Title="Evaluating Deadlock Detection Methods for Concurrent Software,">
<identifier Org="ISBN:0136006329" Paper_ID="/85761.html" Extracted="0136006329" DDC="005.4/3" Normalized_DDC="00543" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0791408744" Paper_ID="/85761.html" Extracted="0791408744" DDC="375/.0083" Normalized_DDC="3750083" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0818679611" Paper_ID="/85761.html" Extracted="0818679611" />
<identifier Org="ISBN:3540000291" Paper_ID="/85761.html" Extracted="3540000291" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540001417" Paper_ID="/85761.html" Extracted="3540001417" DDC="004.01/51" Normalized_DDC="0040151" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540211799" Paper_ID="/85761.html" Extracted="3540211799" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540410902" Paper_ID="/85761.html" Extracted="3540410902" DDC="005" Normalized_DDC="005" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540423141" Paper_ID="/85761.html" Extracted="3540423141" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540424970" Paper_ID="/85761.html" Extracted="3540424970" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540425934" Paper_ID="/85761.html" Extracted="3540425934" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540610553" Paper_ID="/85761.html" Extracted="3540610553" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540648968" Paper_ID="/85761.html" Extracted="3540648968" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540656995" Paper_ID="/85761.html" Extracted="3540656995" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540657037" Paper_ID="/85761.html" Extracted="3540657037" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540664998" Paper_ID="/85761.html" Extracted="3540664998" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540676694" Paper_ID="/85761.html" Extracted="3540676694" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540712089" Paper_ID="/85761.html" Extracted="3540712089" />
<identifier Org="ISBN:3540733698" Paper_ID="/85761.html" Extracted="3540733698" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.0625" />
</rec>
<rec ID="/394952.html" Type="article" CiteSeer_Book="ACM Transactions on Programming Languages and Systems" CiteSeer_Volume="15" Title="The Concurrency Workbench: {A} Semantics-Based Tool for the Verification of Concurrent Systems,">
<identifier Org="ISBN:0818672102" Paper_ID="/394952.html" Extracted="0818672102" DDC="004.2/4/015115" Normalized_DDC="00424015115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:354021299X" Paper_ID="/394952.html" Extracted="354021299X" DDC="005.1/2" Normalized_DDC="00512" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540230688" Paper_ID="/394952.html" Extracted="3540230688" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540405240" Paper_ID="/394952.html" Extracted="3540405240" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540410538" Paper_ID="/394952.html" Extracted="3540410538" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540425411" Paper_ID="/394952.html" Extracted="3540425411" DDC="621.39/5" Normalized_DDC="621395" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540427163" Paper_ID="/394952.html" Extracted="3540427163" DDC="629.8/0285/63" Normalized_DDC="6298028563" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540434194" Paper_ID="/394952.html" Extracted="3540434194" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540551794" Paper_ID="/394952.html" Extracted="3540551794" DDC="511.3/0285" Normalized_DDC="51130285" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540568832" Paper_ID="/394952.html" Extracted="3540568832" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540580859" Paper_ID="/394952.html" Extracted="3540580859" DDC="005.1/01/5113" Normalized_DDC="0051015113" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540600450" Paper_ID="/394952.html" Extracted="3540600450" DDC="004.2/4/015113" Normalized_DDC="00424015113" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:354060300X" Paper_ID="/394952.html" Extracted="354060300X" DDC="004.2/4" Normalized_DDC="00424" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540610421" Paper_ID="/394952.html" Extracted="3540610421" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540617396" Paper_ID="/394952.html" Extracted="3540617396" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540619844" Paper_ID="/394952.html" Extracted="3540619844" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540657185" Paper_ID="/394952.html" Extracted="3540657185" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540667121" Paper_ID="/394952.html" Extracted="3540667121" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540766367" Paper_ID="/394952.html" Extracted="3540766367" />
</rec>
<rec ID="/272329.html" Type="techreport" CiteSeer_Book="" CiteSeer_Volume="" Title="Patterns in Property Specifications for Finite-State Verification,">
<identifier Org="ISBN:0849319854" Paper_ID="/272329.html" Extracted="0849319854" DDC="670.42/7" Normalized_DDC="670427" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0849328241" Paper_ID="/272329.html" Extracted="0849328241" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1402061471" Paper_ID="/272329.html" Extracted="1402061471" DDC="004.256" Normalized_DDC="004256" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1581130740" Paper_ID="/272329.html" Extracted="1581130740" />
<identifier Org="ISBN:3540000291" Paper_ID="/272329.html" Extracted="3540000291" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540001166" Paper_ID="/272329.html" Extracted="3540001166" DDC="621.39/2" Normalized_DDC="621392" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540008861" Paper_ID="/272329.html" Extracted="3540008861" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540231358" Paper_ID="/272329.html" Extracted="3540231358" DDC="005.10943" Normalized_DDC="00510943" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540272313" Paper_ID="/272329.html" Extracted="3540272313" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540401237" Paper_ID="/272329.html" Extracted="3540401237" DDC="621.382" Normalized_DDC="621382" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540410309" Paper_ID="/272329.html" Extracted="3540410309" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540424970" Paper_ID="/272329.html" Extracted="3540424970" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540439161" Paper_ID="/272329.html" Extracted="3540439161" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354068235X" Paper_ID="/272329.html" Extracted="354068235X" />
<identifier Org="ISBN:3540695060" Paper_ID="/272329.html" Extracted="3540695060" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540712887" Paper_ID="/272329.html" Extracted="3540712887" />
<identifier Org="ISBN:3540732098" Paper_ID="/272329.html" Extracted="3540732098" DDC="004.01/51" Normalized_DDC="0040151" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540733698" Paper_ID="/272329.html" Extracted="3540733698" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540755950" Paper_ID="/272329.html" Extracted="3540755950" DDC="511.3/6028563" Normalized_DDC="51136028563" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540785671" Paper_ID="/272329.html" Extracted="3540785671" />
</rec>
<rec ID="/408224.html" Type="inproceedings" CiteSeer_Book="International Conference on Software Engineering" CiteSeer_Volume="" Title="Tool-Supported Program Abstraction for Finite-State Verification,">
<identifier Org="ISBN:0769521258" Paper_ID="/408224.html" Extracted="0769521258" />
<identifier Org="ISBN:1402006071" Paper_ID="/408224.html" Extracted="1402006071" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1402081561" Paper_ID="/408224.html" Extracted="1402081561" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />
<identifier Org="ISBN:158113472X" Paper_ID="/408224.html" Extracted="158113472X" DDC="005.452" Normalized_DDC="005452" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1586033425" Paper_ID="/408224.html" Extracted="1586033425" DDC="620/.00285/5" Normalized_DDC="620002855" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1586035703" Paper_ID="/408224.html" Extracted="1586035703" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540001417" Paper_ID="/408224.html" Extracted="3540001417" DDC="004.01/51" Normalized_DDC="0040151" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540003266" Paper_ID="/408224.html" Extracted="3540003266" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540008861" Paper_ID="/408224.html" Extracted="3540008861" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354022940X" Paper_ID="/408224.html" Extracted="354022940X" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540292098" Paper_ID="/408224.html" Extracted="3540292098" DDC="620.00420285" Normalized_DDC="62000420285" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540408282" Paper_ID="/408224.html" Extracted="3540408282" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540418652" Paper_ID="/408224.html" Extracted="3540418652" DDC="004.2/11" Normalized_DDC="004211" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540426108" Paper_ID="/408224.html" Extracted="3540426108" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540434194" Paper_ID="/408224.html" Extracted="3540434194" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540434771" Paper_ID="/408224.html" Extracted="3540434771" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540439978" Paper_ID="/408224.html" Extracted="3540439978" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540712089" Paper_ID="/408224.html" Extracted="3540712089" />
<identifier Org="ISBN:3540747915" Paper_ID="/408224.html" Extracted="3540747915" />
</rec>
<rec ID="/277690.html" Type="phdthesis" CiteSeer_Book="" CiteSeer_Volume="" Title="Data Flow Analysis for Verifying Correctness Properties of Concurrent Programs,">
<identifier Org="ISBN:0818679611" Paper_ID="/277690.html" Extracted="0818679611" />
<identifier Org="ISBN:3540665382" Paper_ID="/277690.html" Extracted="3540665382" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="1.0" />
</rec>
<rec ID="/153829.html" Type="inproceedings" CiteSeer_Book="Automated Software Engineering" CiteSeer_Volume="" Title="Modular Flow Analysis for Concurrent Software,">
<identifier Org="ISBN:0780399269" Paper_ID="/153829.html" Extracted="0780399269" />
<identifier Org="ISBN:0818679611" Paper_ID="/153829.html" Extracted="0818679611" />
</rec>
<rec ID="/533134.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="Extended static checking for Java,">
<identifier Org="ISBN:3540203036" Paper_ID="/533134.html" Extracted="3540203036" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540204911" Paper_ID="/533134.html" Extracted="3540204911" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540208038" Paper_ID="/533134.html" Extracted="3540208038" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354021299X" Paper_ID="/533134.html" Extracted="354021299X" DDC="005.1/2" Normalized_DDC="00512" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540223800" Paper_ID="/533134.html" Extracted="3540223800" DDC="004.2/1/0151" Normalized_DDC="004210151" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540223819" Paper_ID="/533134.html" Extracted="3540223819" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540236104" Paper_ID="/533134.html" Extracted="3540236104" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540242872" Paper_ID="/533134.html" Extracted="3540242872" DDC="332.1/78" Normalized_DDC="332178" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354025420X" Paper_ID="/533134.html" Extracted="354025420X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540254358" Paper_ID="/533134.html" Extracted="3540254358" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540258779" Paper_ID="/533134.html" Extracted="3540258779" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540272313" Paper_ID="/533134.html" Extracted="3540272313" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540278826" Paper_ID="/533134.html" Extracted="3540278826" DDC="004.13/1" Normalized_DDC="004131" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540281959" Paper_ID="/533134.html" Extracted="3540281959" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540416358" Paper_ID="/533134.html" Extracted="3540416358" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540712089" Paper_ID="/533134.html" Extracted="3540712089" />
<identifier Org="ISBN:3540737693" Paper_ID="/533134.html" Extracted="3540737693" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540787909" Paper_ID="/533134.html" Extracted="3540787909" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540894381" Paper_ID="/533134.html" Extracted="3540894381" />
</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.05555555555555555" />
<identifier Org="ISBN:3540008985" Paper_ID="/210287.html" Extracted="3540008985" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540202234" Paper_ID="/210287.html" Extracted="3540202234" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:354020363X" Paper_ID="/210287.html" Extracted="354020363X" DDC="621.39/5" Normalized_DDC="621395" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:354021299X" Paper_ID="/210287.html" Extracted="354021299X" DDC="005.1/2" Normalized_DDC="00512" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:354024297X" Paper_ID="/210287.html" Extracted="354024297X" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540272313" Paper_ID="/210287.html" Extracted="3540272313" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540311394" Paper_ID="/210287.html" Extracted="3540311394" DDC="005.14" Normalized_DDC="00514" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540418652" Paper_ID="/210287.html" Extracted="3540418652" DDC="004.2/11" Normalized_DDC="004211" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540439412" Paper_ID="/210287.html" Extracted="3540439412" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540657037" Paper_ID="/210287.html" Extracted="3540657037" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540662022" Paper_ID="/210287.html" Extracted="3540662022" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540672818" Paper_ID="/210287.html" Extracted="3540672818" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540672826" Paper_ID="/210287.html" Extracted="3540672826" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540679596" Paper_ID="/210287.html" Extracted="3540679596" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540697357" Paper_ID="/210287.html" Extracted="3540697357" DDC="005.14" Normalized_DDC="00514" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540732098" Paper_ID="/210287.html" Extracted="3540732098" DDC="004.01/51" Normalized_DDC="0040151" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540741275" Paper_ID="/210287.html" Extracted="3540741275" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540744061" Paper_ID="/210287.html" Extracted="3540744061" />
<identifier Org="ISBN:354088386X" Paper_ID="/210287.html" Extracted="354088386X" />
</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.07142857142857142" />
<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.07142857142857142" />
<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.07142857142857142" />
<identifier Org="ISBN:3540205365" Paper_ID="/667938.html" Extracted="3540205365" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540208038" Paper_ID="/667938.html" Extracted="3540208038" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540210024" Paper_ID="/667938.html" Extracted="3540210024" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540227911" Paper_ID="/667938.html" Extracted="3540227911" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540253335" Paper_ID="/667938.html" Extracted="3540253335" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:354025420X" Paper_ID="/667938.html" Extracted="354025420X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540408010" Paper_ID="/667938.html" Extracted="3540408010" DDC="005.1/01/5113" Normalized_DDC="0051015113" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540439978" Paper_ID="/667938.html" Extracted="3540439978" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540586180" Paper_ID="/667938.html" Extracted="3540586180" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540712089" Paper_ID="/667938.html" Extracted="3540712089" />
<identifier Org="ISBN:3540733698" Paper_ID="/667938.html" Extracted="3540733698" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540756973" Paper_ID="/667938.html" Extracted="3540756973" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540851135" Paper_ID="/667938.html" Extracted="3540851135" />
</rec>
<rec ID="/206686.html" Type="inproceedings" CiteSeer_Book="ObjectOriented Technology ECOOP99 Workshop Reader" CiteSeer_Volume="" Title="A Case Study in Class Library Verification: {Java's} Vector Class,">
<identifier Org="ISBN:0792379535" Paper_ID="/206686.html" Extracted="0792379535" DDC="006" Normalized_DDC="006" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:1852332018" Paper_ID="/206686.html" Extracted="1852332018" DDC="629.45" Normalized_DDC="62945" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540403256" Paper_ID="/206686.html" Extracted="3540403256" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540408282" Paper_ID="/206686.html" Extracted="3540408282" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540418636" Paper_ID="/206686.html" Extracted="3540418636" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540418652" Paper_ID="/206686.html" Extracted="3540418652" DDC="004.2/11" Normalized_DDC="004211" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:354042167X" Paper_ID="/206686.html" Extracted="354042167X" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540423451" Paper_ID="/206686.html" Extracted="3540423451" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540438572" Paper_ID="/206686.html" Extracted="3540438572" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540439285" Paper_ID="/206686.html" Extracted="3540439285" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540441441" Paper_ID="/206686.html" Extracted="3540441441" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:354066954X" Paper_ID="/206686.html" Extracted="354066954X" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540675302" Paper_ID="/206686.html" Extracted="3540675302" DDC="005.1/01/512" Normalized_DDC="005101512" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540678638" Paper_ID="/206686.html" Extracted="3540678638" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:8020006338" Paper_ID="/206686.html" Extracted="8020006338" />
<identifier Org="ISBN:9014078080" Paper_ID="/206686.html" Extracted="9014078080" />
</rec>
<rec ID="/417014.html" Type="inproceedings" CiteSeer_Book="Proc of the 7th International SPIN Workshop" CiteSeer_Volume="" Title="Logic Verification of {ANSI}-{C} code with {SPIN},">
<identifier Org="ISBN:0780365992" Paper_ID="/417014.html" Extracted="0780365992" />
<identifier Org="ISBN:078037231X" Paper_ID="/417014.html" Extracted="078037231X" />
<identifier Org="ISBN:0780390989" Paper_ID="/417014.html" Extracted="0780390989" />
<identifier Org="ISBN:1581138350" Paper_ID="/417014.html" Extracted="1581138350" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:1586035703" Paper_ID="/417014.html" Extracted="1586035703" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:1586036254" Paper_ID="/417014.html" Extracted="1586036254" />
<identifier Org="ISBN:3540003266" Paper_ID="/417014.html" Extracted="3540003266" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540210024" Paper_ID="/417014.html" Extracted="3540210024" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540213147" Paper_ID="/417014.html" Extracted="3540213147" DDC="005.14" Normalized_DDC="00514" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540227911" Paper_ID="/417014.html" Extracted="3540227911" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:354022940X" Paper_ID="/417014.html" Extracted="354022940X" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540403760" Paper_ID="/417014.html" Extracted="3540403760" DDC="005" Normalized_DDC="005" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540410309" Paper_ID="/417014.html" Extracted="3540410309" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540424970" Paper_ID="/417014.html" Extracted="3540424970" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540439978" Paper_ID="/417014.html" Extracted="3540439978" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540691472" Paper_ID="/417014.html" Extracted="3540691472" />
<identifier Org="ISBN:3540851135" Paper_ID="/417014.html" Extracted="3540851135" />
</rec>
<rec ID="/60275.html" Type="techreport" CiteSeer_Book="" CiteSeer_Volume="" Title="{S}tatic {D}etection of {D}eadlocks in {P}olynomial {T}ime," />
<rec ID="/115033.html" Type="article" CiteSeer_Book="ACM Transactions on Programming Languages and Systems" CiteSeer_Volume="17" Title="Lattice Frameworks for Multisource and Bidirectional Data Flow Problems,">
<identifier Org="ISBN:0818679611" Paper_ID="/115033.html" Extracted="0818679611" />
<identifier Org="ISBN:3540655107" Paper_ID="/115033.html" Extracted="3540655107" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.5" />
<identifier Org="ISBN:3540665382" Paper_ID="/115033.html" Extracted="3540665382" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.5" />
</rec>
<rec ID="/42818.html" Type="techreport" CiteSeer_Book="" CiteSeer_Volume="" Title="A Conservative Data Flow Algorithm for Detecting All Pairs of Statements that May Happen in Parallel,">
<identifier Org="ISBN:1581130740" Paper_ID="/42818.html" Extracted="1581130740" />
<identifier Org="ISBN:1581137869" Paper_ID="/42818.html" Extracted="1581137869" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.16666666666666666" />
<identifier Org="ISBN:1595936025" Paper_ID="/42818.html" Extracted="1595936025" />
<identifier Org="ISBN:3540285849" Paper_ID="/42818.html" Extracted="3540285849" DDC="005.1/3" Normalized_DDC="00513" Normalized_Weight="0.16666666666666666" />
<identifier Org="ISBN:3540401954" Paper_ID="/42818.html" Extracted="3540401954" DDC="004" Normalized_DDC="004" Normalized_Weight="0.16666666666666666" />
<identifier Org="ISBN:3540437843" Paper_ID="/42818.html" Extracted="3540437843" DDC="005" Normalized_DDC="005" Normalized_Weight="0.16666666666666666" />
<identifier Org="ISBN:3540665382" Paper_ID="/42818.html" Extracted="3540665382" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.16666666666666666" />
<identifier Org="ISBN:3540686215" Paper_ID="/42818.html" Extracted="3540686215" />
<identifier Org="ISBN:3540693297" Paper_ID="/42818.html" Extracted="3540693297" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.16666666666666666" />
<identifier Org="ISBN:3540712089" Paper_ID="/42818.html" Extracted="3540712089" />
<identifier Org="ISBN:3540851135" Paper_ID="/42818.html" Extracted="3540851135" />
<identifier Org="ISBN:3540893296" Paper_ID="/42818.html" Extracted="3540893296" />
</rec>
<rec ID="/127710.html" Type="techreport" CiteSeer_Book="" CiteSeer_Volume="" Title="Data Flow Analysis for Checking Properties of Concurrent Java Programs,">
<identifier Org="ISBN:0769506348" Paper_ID="/127710.html" Extracted="0769506348" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:1581130740" Paper_ID="/127710.html" Extracted="1581130740" />
<identifier Org="ISBN:158113472X" Paper_ID="/127710.html" Extracted="158113472X" DDC="005.452" Normalized_DDC="005452" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:1586030779" Paper_ID="/127710.html" Extracted="1586030779" />
<identifier Org="ISBN:1595936025" Paper_ID="/127710.html" Extracted="1595936025" />
<identifier Org="ISBN:3540262865" Paper_ID="/127710.html" Extracted="3540262865" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540285849" Paper_ID="/127710.html" Extracted="3540285849" DDC="005.1/3" Normalized_DDC="00513" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540423141" Paper_ID="/127710.html" Extracted="3540423141" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540664998" Paper_ID="/127710.html" Extracted="3540664998" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540665382" Paper_ID="/127710.html" Extracted="3540665382" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.14285714285714285" />
</rec>
<rec ID="/215062.html" Type="techreport" CiteSeer_Book="" CiteSeer_Volume="" Title="An Efficient Algorithm for Computing {MHP} Information for Concurrent Java Programs,">
<identifier Org="ISBN:1581130740" Paper_ID="/215062.html" Extracted="1581130740" />
<identifier Org="ISBN:158113472X" Paper_ID="/215062.html" Extracted="158113472X" DDC="005.452" Normalized_DDC="005452" Normalized_Weight="0.125" />
<identifier Org="ISBN:1595930809" Paper_ID="/215062.html" Extracted="1595930809" />
<identifier Org="ISBN:1595936025" Paper_ID="/215062.html" Extracted="1595936025" />
<identifier Org="ISBN:3540212973" Paper_ID="/215062.html" Extracted="3540212973" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.125" />
<identifier Org="ISBN:354028009X" Paper_ID="/215062.html" Extracted="354028009X" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540285849" Paper_ID="/215062.html" Extracted="3540285849" DDC="005.1/3" Normalized_DDC="00513" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540307818" Paper_ID="/215062.html" Extracted="3540307818" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540423141" Paper_ID="/215062.html" Extracted="3540423141" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540665382" Paper_ID="/215062.html" Extracted="3540665382" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540693297" Paper_ID="/215062.html" Extracted="3540693297" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.125" />
</rec>
<rec ID="/150035.html" Type="inproceedings" CiteSeer_Book="Proceedings of theSixthEuropean Software Engineering ConferenceESECFSE 97" CiteSeer_Volume="" Title="Applying Static Analysis to Software Architectures,">
<identifier Org="ISBN:0769505465" Paper_ID="/150035.html" Extracted="0769505465" />
<identifier Org="ISBN:0792384539" Paper_ID="/150035.html" Extracted="0792384539" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:0818684518" Paper_ID="/150035.html" Extracted="0818684518" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:1580533272" Paper_ID="/150035.html" Extracted="1580533272" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:1586030787" Paper_ID="/150035.html" Extracted="1586030787" DDC="629.8/9263" Normalized_DDC="62989263" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:1591403669" Paper_ID="/150035.html" Extracted="1591403669" DDC="004/.068" Normalized_DDC="004068" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540009213" Paper_ID="/150035.html" Extracted="3540009213" DDC="006.3/7" Normalized_DDC="00637" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540289682" Paper_ID="/150035.html" Extracted="3540289682" DDC="004.2/2" Normalized_DDC="00422" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:354043738X" Paper_ID="/150035.html" Extracted="354043738X" DDC="005.1/0285" Normalized_DDC="00510285" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540664998" Paper_ID="/150035.html" Extracted="3540664998" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.1111111111111111" />
</rec>
<rec ID="/435148.html" Type="techreport" CiteSeer_Book="" CiteSeer_Volume="" Title="Classifying Propertie: An Alternative to the Safety-Liveness Classification," />
<rec ID="/503747.html" Type="inproceedings" CiteSeer_Book="Workshop on Program Analysis For Software Tools and Engineering" CiteSeer_Volume="" Title="Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification,">
<identifier Org="ISBN:3540223819" Paper_ID="/503747.html" Extracted="3540223819" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.5" />
<identifier Org="ISBN:3540423141" Paper_ID="/503747.html" Extracted="3540423141" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.5" />
</rec>
<rec ID="/74989.html" Type="book" CiteSeer_Book="The Cambridge CAP Computer and Its Operating System" CiteSeer_Volume="" Title="The Cambridge {CAP} Computer and Its Operating System,">
<identifier Org="ISBN:0313295425" Paper_ID="/74989.html" Extracted="0313295425" DDC="016.004/09" Normalized_DDC="01600409" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:0415060427" Paper_ID="/74989.html" Extracted="0415060427" DDC="609.2/2" Normalized_DDC="60922" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:0444003576" Paper_ID="/74989.html" Extracted="0444003576" DDC="001.6/4044" Normalized_DDC="00164044" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:0444003584" Paper_ID="/74989.html" Extracted="0444003584" DDC="001.6/4044" Normalized_DDC="00164044" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:0818605324" Paper_ID="/74989.html" Extracted="0818605324" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:0818607564" Paper_ID="/74989.html" Extracted="0818607564" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:0818608226" Paper_ID="/74989.html" Extracted="0818608226" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:0818622652" Paper_ID="/74989.html" Extracted="0818622652" DDC="005.4/3" Normalized_DDC="00543" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:0818644028" Paper_ID="/74989.html" Extracted="0818644028" DDC="621.39/5" Normalized_DDC="621395" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540002235" Paper_ID="/74989.html" Extracted="3540002235" DDC="004.6" Normalized_DDC="0046" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540526099" Paper_ID="/74989.html" Extracted="3540526099" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.09090909090909091" />
</rec>
<rec ID="/86322.html" Type="inproceedings" CiteSeer_Book="Workshop on Program Analysis For Software Tools and Engineering" CiteSeer_Volume="" Title="Efficient Composite Data Flow Analysis Applied to Concurrent Programs," />
<rec ID="/276499.html" Type="inproceedings" CiteSeer_Book="Advances in Languages and Compilers for Parallel Computing 1990 Workshop" CiteSeer_Volume="" Title="Detecting Data Races in Parallel Program Executions,">
<identifier Org="ISBN:0271007281" Paper_ID="/276499.html" Extracted="0271007281" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.2" />
<identifier Org="ISBN:0444828826" Paper_ID="/276499.html" Extracted="0444828826" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.2" />
<identifier Org="ISBN:0546662420" Paper_ID="/276499.html" Extracted="0546662420" />
<identifier Org="ISBN:0818620471" Paper_ID="/276499.html" Extracted="0818620471" />
<identifier Org="ISBN:0818642211" Paper_ID="/276499.html" Extracted="0818642211" />
<identifier Org="ISBN:0897913949" Paper_ID="/276499.html" Extracted="0897913949" DDC="004.2/2" Normalized_DDC="00422" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540575022" Paper_ID="/276499.html" Extracted="3540575022" DDC="005.2" Normalized_DDC="0052" Normalized_Weight="0.2" />
<identifier Org="ISBN:354070888X" Paper_ID="/276499.html" Extracted="354070888X" DDC="004" Normalized_DDC="004" Normalized_Weight="0.2" />
</rec>
<rec ID="/245461.html" Type="article" CiteSeer_Book="ACM Transactions on Programming Languages and Systems" CiteSeer_Volume="22" Title="Context-sensitive synchronization-sensitive analysis is undecidable,">
<identifier Org="ISBN:1581133499" Paper_ID="/245461.html" Extracted="1581133499" />
<identifier Org="ISBN:1581136285" Paper_ID="/245461.html" Extracted="1581136285" />
<identifier Org="ISBN:1586035703" Paper_ID="/245461.html" Extracted="1586035703" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.3333333333333333" />
<identifier Org="ISBN:3540272313" Paper_ID="/245461.html" Extracted="3540272313" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.3333333333333333" />
<identifier Org="ISBN:3540418652" Paper_ID="/245461.html" Extracted="3540418652" DDC="004.2/11" Normalized_DDC="004211" Normalized_Weight="0.3333333333333333" />
<identifier Org="ISBN:3540851135" Paper_ID="/245461.html" Extracted="3540851135" />
<identifier Org="ISBN:3642007678" Paper_ID="/245461.html" Extracted="3642007678" />
<identifier Org="ISBN:3642026516" Paper_ID="/245461.html" Extracted="3642026516" />
</rec>
<rec ID="/139817.html" Type="inproceedings" CiteSeer_Book="Conference Record of POPL 95 22nd ACM SIGPLANSIGACT Symposium on Principles of Programming Languages" CiteSeer_Volume="" Title="Precise Interprocedural Dataflow Analysis via Graph Reachability,">
<identifier Org="ISBN:0262631806" Paper_ID="/139817.html" Extracted="0262631806" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540223819" Paper_ID="/139817.html" Extracted="3540223819" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540258779" Paper_ID="/139817.html" Extracted="3540258779" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540285849" Paper_ID="/139817.html" Extracted="3540285849" DDC="005.1/3" Normalized_DDC="00513" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540403256" Paper_ID="/139817.html" Extracted="3540403256" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540418652" Paper_ID="/139817.html" Extracted="3540418652" DDC="004.2/11" Normalized_DDC="004211" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540422870" Paper_ID="/139817.html" Extracted="3540422870" DDC="004" Normalized_DDC="004" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540423451" Paper_ID="/139817.html" Extracted="3540423451" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540592938" Paper_ID="/139817.html" Extracted="3540592938" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540643028" Paper_ID="/139817.html" Extracted="3540643028" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540665382" Paper_ID="/139817.html" Extracted="3540665382" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540691634" Paper_ID="/139817.html" Extracted="3540691634" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540712089" Paper_ID="/139817.html" Extracted="3540712089" />
<identifier Org="ISBN:3540733671" Paper_ID="/139817.html" Extracted="3540733671" />
<identifier Org="ISBN:3540787380" Paper_ID="/139817.html" Extracted="3540787380" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540787909" Paper_ID="/139817.html" Extracted="3540787909" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540787992" Paper_ID="/139817.html" Extracted="3540787992" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354088386X" Paper_ID="/139817.html" Extracted="354088386X" />
</rec>
<rec ID="/714191.html" Type="article" CiteSeer_Book="ACM SIGPLAN Notices" CiteSeer_Volume="36" Title="Pointer and escape analysis for multithreaded programs,">
<identifier Org="ISBN:1402076983" Paper_ID="/714191.html" Extracted="1402076983" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.1" />
<identifier Org="ISBN:1581133464" Paper_ID="/714191.html" Extracted="1581133464" />
<identifier Org="ISBN:1581135394" Paper_ID="/714191.html" Extracted="1581135394" DDC="004.5" Normalized_DDC="0045" Normalized_Weight="0.1" />
<identifier Org="ISBN:1581136285" Paper_ID="/714191.html" Extracted="1581136285" />
<identifier Org="ISBN:1581139454" Paper_ID="/714191.html" Extracted="1581139454" />
<identifier Org="ISBN:1584886781" Paper_ID="/714191.html" Extracted="1584886781" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.1" />
<identifier Org="ISBN:1852337109" Paper_ID="/714191.html" Extracted="1852337109" DDC="629.45/84/09" Normalized_DDC="629458409" Normalized_Weight="0.1" />
<identifier Org="ISBN:1852337281" Paper_ID="/714191.html" Extracted="1852337281" DDC="004.019" Normalized_DDC="004019" Normalized_Weight="0.1" />
<identifier Org="ISBN:354022159X" Paper_ID="/714191.html" Extracted="354022159X" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540235264" Paper_ID="/714191.html" Extracted="3540235264" />
<identifier Org="ISBN:3540254110" Paper_ID="/714191.html" Extracted="3540254110" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540288961" Paper_ID="/714191.html" Extracted="3540288961" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540405313" Paper_ID="/714191.html" Extracted="3540405313" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540426736" Paper_ID="/714191.html" Extracted="3540426736" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.1" />
<identifier Org="ISBN:354068235X" Paper_ID="/714191.html" Extracted="354068235X" />
<identifier Org="ISBN:3540712089" Paper_ID="/714191.html" Extracted="3540712089" />
<identifier Org="ISBN:3540851135" Paper_ID="/714191.html" Extracted="3540851135" />
</rec>
<rec ID="/624487.html" Type="inproceedings" CiteSeer_Book="Proc of the 15th IEEE International Conference on Automated Software Engineering" CiteSeer_Volume="" Title="Model Checking Programs,">
<identifier Org="ISBN:0769507107" Paper_ID="/624487.html" Extracted="0769507107" />
<identifier Org="ISBN:1595931481" Paper_ID="/624487.html" Extracted="1595931481" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540208038" Paper_ID="/624487.html" Extracted="3540208038" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540213147" Paper_ID="/624487.html" Extracted="3540213147" DDC="005.14" Normalized_DDC="00514" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540238417" Paper_ID="/624487.html" Extracted="3540238417" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540253335" Paper_ID="/624487.html" Extracted="3540253335" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540297979" Paper_ID="/624487.html" Extracted="3540297979" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540401172" Paper_ID="/624487.html" Extracted="3540401172" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540405240" Paper_ID="/624487.html" Extracted="3540405240" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540410309" Paper_ID="/624487.html" Extracted="3540410309" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540418652" Paper_ID="/624487.html" Extracted="3540418652" DDC="004.2/11" Normalized_DDC="004211" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540434771" Paper_ID="/624487.html" Extracted="3540434771" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540610421" Paper_ID="/624487.html" Extracted="3540610421" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540664629" Paper_ID="/624487.html" Extracted="3540664629" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540698493" Paper_ID="/624487.html" Extracted="3540698493" />
<identifier Org="ISBN:3540754156" Paper_ID="/624487.html" Extracted="3540754156" DDC="004.6" Normalized_DDC="0046" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540755225" Paper_ID="/624487.html" Extracted="3540755225" />
<identifier Org="ISBN:3540758666" Paper_ID="/624487.html" Extracted="3540758666" />
<identifier Org="ISBN:3540779647" Paper_ID="/624487.html" Extracted="3540779647" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540851135" Paper_ID="/624487.html" Extracted="3540851135" />
</rec>
<rec ID="SELF" Type="SELF" CiteSeer_Book="SELF" CiteSeer_Volume="SELF" Title="Flow Analysis for Verifying Properties of Concurrent Software">
<identifier Org="ISBN:0387739467" Paper_ID="SELF" Extracted="0387739467" />
<identifier Org="ISBN:1595930140" Paper_ID="SELF" Extracted="1595930140" />
<identifier Org="ISBN:3540311122" Paper_ID="SELF" Extracted="3540311122" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.5" />
<identifier Org="ISBN:3540341994" Paper_ID="SELF" Extracted="3540341994" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.5" />
<identifier Org="ISBN:3540690697" Paper_ID="SELF" Extracted="3540690697" />
<identifier Org="ISBN:3540712089" Paper_ID="SELF" Extracted="3540712089" />
<identifier Org="ISBN:354085570X" Paper_ID="SELF" Extracted="354085570X" />
<identifier Org="ISBN:3540897771" Paper_ID="SELF" Extracted="3540897771" />
<identifier Org="ISBN:8126517735" Paper_ID="SELF" Extracted="8126517735" />
</rec>
</references_metadata>