Automatically assigned DDC number: 00424

Manually assigned DDC number: 00424

Number of references: 16

Title: Model checking continuous-time Markov chains by transient analysis

Author:

Author:

Author:

Subject: Christel Baier,Boudewijn Haverkort,Holger Hermanns Model checking continuous-time Markov chains by transient analysis

Description: . The verification of continuous-time Markov chains (CTMCs) against continuous stochastic logic (CSL) [3, 6], a stochastic branchingtime temporal logic, is considered. CSL facilitates among others the specification of steady-state properties and the specification of probabilistic timing properties of the form P# #p(#1 U I #2 ), for state formulas #1 and #2 , comparison operator ##, probability p, and real interval I. The main result of this paper is that model checking probabilistic timing properties can be reduced to the problem of computing transient state probabilities for CTMCs. This allows us to verify such properties by using e#cient techniques for transient analysis of CTMCs such as uniformisation. A second result is that a variant of ordinary lumping equivalence (i.e., bisimulation), a well-known notion for aggregating CTMCs, preserves the validity of all CSL-formulas. In 12th Annual Symposium on Computer Aided Verification, CAV 2000, c # Springer-Verlag 2000 Chicago,...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 2000-08-04

Pubyear: 2000

Format: ps

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

Source: http://www7.informatik.uni-erlangen.de/~hrherman/papers/cav00.ps.gz

Language: en

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="/366115.html"   Type="inproceedings"   CiteSeer_Book="7th   International   Conference   On   Computer   Aided   Verification"   CiteSeer_Volume=""   Title="It   Usually   Works:   The   temporal   Logic   of   stochastic   systems,">

            <identifier   Org="ISBN:0849390834"   Paper_ID="/366115.html"   Extracted="0849390834"   DDC="003/.76"   Normalized_DDC="00376"   Normalized_Weight="0.0625"   />

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

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

            <identifier   Org="ISBN:354022940X"   Paper_ID="/366115.html"   Extracted="354022940X"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.0625"   />

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

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

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

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

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

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

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

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

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

            <identifier   Org="ISBN:3540657193"   Paper_ID="/366115.html"   Extracted="3540657193"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540660100"   Paper_ID="/366115.html"   Extracted="3540660100"   />

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

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

            <identifier   Org="ISBN:3540724826"   Paper_ID="/366115.html"   Extracted="3540724826"   />

            <identifier   Org="ISBN:3540781269"   Paper_ID="/366115.html"   Extracted="3540781269"   DDC="004.0151"   Normalized_DDC="0040151"   Normalized_Weight="0.0625"   />

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

      </rec>

      <rec   ID="/56745.html"   Type="inproceedings"   CiteSeer_Book="Eighth   International   Conference   on   Computer   Aided   Verification   CAV"   CiteSeer_Volume=""   Title="Verifying   continuous-time   Markov   Chains,">

            <identifier   Org="ISBN:0769515975"   Paper_ID="/56745.html"   Extracted="0769515975"   />

            <identifier   Org="ISBN:0769519520"   Paper_ID="/56745.html"   Extracted="0769519520"   />

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

            <identifier   Org="ISBN:3540216715"   Paper_ID="/56745.html"   Extracted="3540216715"   DDC="004.33"   Normalized_DDC="00433"   Normalized_Weight="0.07142857142857142"   />

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

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

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

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

            <identifier   Org="ISBN:3540411968"   Paper_ID="/56745.html"   Extracted="3540411968"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540424792"   Paper_ID="/56745.html"   Extracted="3540424792"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:354042556X"   Paper_ID="/56745.html"   Extracted="354042556X"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07142857142857142"   />

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

            <identifier   Org="ISBN:3540648968"   Paper_ID="/56745.html"   Extracted="3540648968"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07142857142857142"   />

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

            <identifier   Org="ISBN:3540688544"   Paper_ID="/56745.html"   Extracted="3540688544"   DDC="004.6/2"   Normalized_DDC="00462"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540709517"   Paper_ID="/56745.html"   Extracted="3540709517"   />

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

            <identifier   Org="ISBN:3540724826"   Paper_ID="/56745.html"   Extracted="3540724826"   />

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

      </rec>

      <rec   ID="/248598.html"   Type="inproceedings"   CiteSeer_Book="IEEE   ACM   International   Conference   on   CAD"   CiteSeer_Volume=""   Title="{A}lgebraic   {D}ecision   {D}iagrams   and   {T}heir   {A}pplications,"   />

      <rec   ID="/237435.html"   Type="inproceedings"   CiteSeer_Book="International   Conference   on   Concurrency   Theory"   CiteSeer_Volume=""   Title="Approximate   Symbolic   Model   Checking   of   Continuous-Time   Markov   Chains,">

            <identifier   Org="ISBN:0769515975"   Paper_ID="/237435.html"   Extracted="0769515975"   />

            <identifier   Org="ISBN:0849390834"   Paper_ID="/237435.html"   Extracted="0849390834"   DDC="003/.76"   Normalized_DDC="00376"   Normalized_Weight="0.0625"   />

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

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

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

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

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

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

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

            <identifier   Org="ISBN:354042556X"   Paper_ID="/237435.html"   Extracted="354042556X"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:3540442529"   Paper_ID="/237435.html"   Extracted="3540442529"   DDC="004.2/4"   Normalized_DDC="00424"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540442618"   Paper_ID="/237435.html"   Extracted="3540442618"   DDC="519.2/33"   Normalized_DDC="519233"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:3540672605"   Paper_ID="/237435.html"   Extracted="3540672605"   DDC="004.1"   Normalized_DDC="0041"   Normalized_Weight="0.0625"   />

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

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

            <identifier   Org="ISBN:3540724826"   Paper_ID="/237435.html"   Extracted="3540724826"   />

      </rec>

      <rec   ID="/302576.html"   Type="inproceedings"   CiteSeer_Book="Automata   Languages   and   Programming"   CiteSeer_Volume=""   Title="On   the   Logical   Characterisation   of   Performability   Properties,">

            <identifier   Org="ISBN:0471491950"   Paper_ID="/302576.html"   Extracted="0471491950"   DDC="004.2/4"   Normalized_DDC="00424"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0769522823"   Paper_ID="/302576.html"   Extracted="0769522823"   DDC="004.2"   Normalized_DDC="0042"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0821835718"   Paper_ID="/302576.html"   Extracted="0821835718"   DDC="003"   Normalized_DDC="003"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0849390834"   Paper_ID="/302576.html"   Extracted="0849390834"   DDC="003/.76"   Normalized_DDC="00376"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540216715"   Paper_ID="/302576.html"   Extracted="3540216715"   DDC="004.33"   Normalized_DDC="00433"   Normalized_Weight="0.07142857142857142"   />

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

            <identifier   Org="ISBN:3540424792"   Paper_ID="/302576.html"   Extracted="3540424792"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.07142857142857142"   />

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

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

            <identifier   Org="ISBN:3540442529"   Paper_ID="/302576.html"   Extracted="3540442529"   DDC="004.2/4"   Normalized_DDC="00424"   Normalized_Weight="0.07142857142857142"   />

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

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

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

            <identifier   Org="ISBN:3540724826"   Paper_ID="/302576.html"   Extracted="3540724826"   />

            <identifier   Org="ISBN:9053565183"   Paper_ID="/302576.html"   Extracted="9053565183"   DDC="610.9515"   Normalized_DDC="6109515"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:9053565760"   Paper_ID="/302576.html"   Extracted="9053565760"   />

            <identifier   Org="ISBN:9812389652"   Paper_ID="/302576.html"   Extracted="9812389652"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07142857142857142"   />

      </rec>

      <rec   ID="/311874.html"   Type="article"   CiteSeer_Book="ieeetc"   CiteSeer_Volume="C35"   Title="Graph-Based   Algorithms   for   {B}oolean   Function   Manipulation,"   />

      <rec   ID="/221264.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Exact   and   ordinary   lumpability   in   finite   Markov   chains,">

            <identifier   Org="ISBN:0818670592"   Paper_ID="/221264.html"   Extracted="0818670592"   DDC="004.2/4"   Normalized_DDC="00424"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0849390834"   Paper_ID="/221264.html"   Extracted="0849390834"   DDC="003/.76"   Normalized_DDC="00376"   Normalized_Weight="0.07692307692307693"   />

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

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

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

            <identifier   Org="ISBN:3540442529"   Paper_ID="/221264.html"   Extracted="3540442529"   DDC="004.2/4"   Normalized_DDC="00424"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540600299"   Paper_ID="/221264.html"   Extracted="3540600299"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:354068980X"   Paper_ID="/221264.html"   Extracted="354068980X"   DDC="519.2/3"   Normalized_DDC="51923"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:3540724826"   Paper_ID="/221264.html"   Extracted="3540724826"   />

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

            <identifier   Org="ISBN:3540789286"   Paper_ID="/221264.html"   Extracted="3540789286"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:354085777X"   Paper_ID="/221264.html"   Extracted="354085777X"   />

            <identifier   Org="ISBN:3540874119"   Paper_ID="/221264.html"   Extracted="3540874119"   DDC="004.029"   Normalized_DDC="004029"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:9053565183"   Paper_ID="/221264.html"   Extracted="9053565183"   DDC="610.9515"   Normalized_DDC="6109515"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:9053565760"   Paper_ID="/221264.html"   Extracted="9053565760"   />

      </rec>

      <rec   ID="/362206.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="a   Markovian   Process   Algebra,">

            <identifier   Org="ISBN:0521571898"   Paper_ID="/362206.html"   Extracted="0521571898"   DDC="004.2/4/011"   Normalized_DDC="00424011"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0818670592"   Paper_ID="/362206.html"   Extracted="0818670592"   DDC="004.2/4"   Normalized_DDC="00424"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0818672102"   Paper_ID="/362206.html"   Extracted="0818672102"   DDC="004.2/4/015115"   Normalized_DDC="00424015115"   Normalized_Weight="0.09090909090909091"   />

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

            <identifier   Org="ISBN:1600217133"   Paper_ID="/362206.html"   Extracted="1600217133"   DDC="621.384"   Normalized_DDC="621384"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540231692"   Paper_ID="/362206.html"   Extracted="3540231692"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540424792"   Paper_ID="/362206.html"   Extracted="3540424792"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540600299"   Paper_ID="/362206.html"   Extracted="3540600299"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540601252"   Paper_ID="/362206.html"   Extracted="3540601252"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.09090909090909091"   />

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

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

            <identifier   Org="ISBN:3540698132"   Paper_ID="/362206.html"   Extracted="3540698132"   />

            <identifier   Org="ISBN:3642005950"   Paper_ID="/362206.html"   Extracted="3642005950"   />

            <identifier   Org="ISBN:3765719528"   Paper_ID="/362206.html"   Extracted="3765719528"   />

            <identifier   Org="ISBN:3832207562"   Paper_ID="/362206.html"   Extracted="3832207562"   />

            <identifier   Org="ISBN:9812770984"   Paper_ID="/362206.html"   Extracted="9812770984"   />

      </rec>

      <rec   ID="/187254.html"   Type="article"   CiteSeer_Book="Formal   Aspects   of   Computing"   CiteSeer_Volume="6"   Title="A   Logic   for   Reasoning   about   Time   and   Reliability,">

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

            <identifier   Org="ISBN:1402056893"   Paper_ID="/187254.html"   Extracted="1402056893"   DDC="378.469425"   Normalized_DDC="378469425"   Normalized_Weight="0.0625"   />

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

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

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

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

            <identifier   Org="ISBN:354042556X"   Paper_ID="/187254.html"   Extracted="354042556X"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.0625"   />

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

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

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

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

            <identifier   Org="ISBN:3540660100"   Paper_ID="/187254.html"   Extracted="3540660100"   />

            <identifier   Org="ISBN:3540672605"   Paper_ID="/187254.html"   Extracted="3540672605"   DDC="004.1"   Normalized_DDC="0041"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:3540688544"   Paper_ID="/187254.html"   Extracted="3540688544"   DDC="004.6/2"   Normalized_DDC="00462"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:3540731954"   Paper_ID="/187254.html"   Extracted="3540731954"   DDC="004.6/2"   Normalized_DDC="00462"   Normalized_Weight="0.0625"   />

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

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

      </rec>

      <rec   ID="/222501.html"   Type="article"   CiteSeer_Book="Performance   Evaluation"   CiteSeer_Volume="25"   Title="Performability   Modelling   Tools   and   Techniques,">

            <identifier   Org="ISBN:0471491950"   Paper_ID="/222501.html"   Extracted="0471491950"   DDC="004.2/4"   Normalized_DDC="00424"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0471972282"   Paper_ID="/222501.html"   Extracted="0471972282"   DDC="004.6"   Normalized_DDC="0046"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540410406"   Paper_ID="/222501.html"   Extracted="3540410406"   DDC="512/.00285"   Normalized_DDC="51200285"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540424792"   Paper_ID="/222501.html"   Extracted="3540424792"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540442529"   Paper_ID="/222501.html"   Extracted="3540442529"   DDC="004.2/4"   Normalized_DDC="00424"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540672826"   Paper_ID="/222501.html"   Extracted="3540672826"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.1"   />

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

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

            <identifier   Org="ISBN:3540685146"   Paper_ID="/222501.html"   Extracted="3540685146"   DDC="004.6"   Normalized_DDC="0046"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540741720"   Paper_ID="/222501.html"   Extracted="3540741720"   DDC="003.76"   Normalized_DDC="00376"   Normalized_Weight="0.1"   />

      </rec>

      <rec   ID="/485555.html"   Type="article"   CiteSeer_Book="Theoretical   Computer   Science"   CiteSeer_Volume="274"   Title="Process   algebra   for   performance   evaluation,">

            <identifier   Org="ISBN:0769519520"   Paper_ID="/485555.html"   Extracted="0769519520"   />

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

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

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

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

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

            <identifier   Org="ISBN:3540411968"   Paper_ID="/485555.html"   Extracted="3540411968"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540424792"   Paper_ID="/485555.html"   Extracted="3540424792"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.07142857142857142"   />

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

            <identifier   Org="ISBN:354042556X"   Paper_ID="/485555.html"   Extracted="354042556X"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07142857142857142"   />

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

            <identifier   Org="ISBN:3540442529"   Paper_ID="/485555.html"   Extracted="3540442529"   DDC="004.2/4"   Normalized_DDC="00424"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540752102"   Paper_ID="/485555.html"   Extracted="3540752102"   DDC="004.2/4"   Normalized_DDC="00424"   Normalized_Weight="0.07142857142857142"   />

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

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

            <identifier   Org="ISBN:3540859918"   Paper_ID="/485555.html"   Extracted="3540859918"   />

      </rec>

      <rec   ID="/212781.html"   Type="article"   CiteSeer_Book="Science   of   Computer   Programming"   CiteSeer_Volume="36"   Title="Automated   compositional   {Markov}   chain   generation   for   a   plain-old   telephone   system,">

            <identifier   Org="ISBN:0471491950"   Paper_ID="/212781.html"   Extracted="0471491950"   DDC="004.2/4"   Normalized_DDC="00424"   Normalized_Weight="0.125"   />

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

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

            <identifier   Org="ISBN:3540424792"   Paper_ID="/212781.html"   Extracted="3540424792"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540442529"   Paper_ID="/212781.html"   Extracted="3540442529"   DDC="004.2/4"   Normalized_DDC="00424"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540660100"   Paper_ID="/212781.html"   Extracted="3540660100"   />

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

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

            <identifier   Org="ISBN:3540755950"   Paper_ID="/212781.html"   Extracted="3540755950"   DDC="511.3/6028563"   Normalized_DDC="51136028563"   Normalized_Weight="0.125"   />

      </rec>

      <rec   ID="/609392.html"   Type="inproceedings"   CiteSeer_Book="Tools   and   Algorithms   for   Construction   and   Analysis   of   Systems"   CiteSeer_Volume=""   Title="A   Markov   Chain   Model   Checker,">

            <identifier   Org="ISBN:0849390834"   Paper_ID="/609392.html"   Extracted="0849390834"   DDC="003/.76"   Normalized_DDC="00376"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540202439"   Paper_ID="/609392.html"   Extracted="3540202439"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.05555555555555555"   />

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

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

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

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

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

            <identifier   Org="ISBN:3540411968"   Paper_ID="/609392.html"   Extracted="3540411968"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.05555555555555555"   />

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

            <identifier   Org="ISBN:3540424792"   Paper_ID="/609392.html"   Extracted="3540424792"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.05555555555555555"   />

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

            <identifier   Org="ISBN:354042556X"   Paper_ID="/609392.html"   Extracted="354042556X"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05555555555555555"   />

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

            <identifier   Org="ISBN:3540435395"   Paper_ID="/609392.html"   Extracted="3540435395"   DDC="004.2/4"   Normalized_DDC="00424"   Normalized_Weight="0.05555555555555555"   />

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

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

            <identifier   Org="ISBN:3540442529"   Paper_ID="/609392.html"   Extracted="3540442529"   DDC="004.2/4"   Normalized_DDC="00424"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540688625"   Paper_ID="/609392.html"   Extracted="3540688625"   />

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

      </rec>

      <rec   ID="/390309.html"   Type="article"   CiteSeer_Book="Lecture   Notes   in   Computer   Science"   CiteSeer_Volume="1601"   Title="Bisimulation   Algorithms   for   Stochastic   Process   Algebras   and   Their   {BDD}-Based   Implementation,">

            <identifier   Org="ISBN:0471491950"   Paper_ID="/390309.html"   Extracted="0471491950"   DDC="004.2/4"   Normalized_DDC="00424"   Normalized_Weight="0.1111111111111111"   />

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

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

            <identifier   Org="ISBN:3540411968"   Paper_ID="/390309.html"   Extracted="3540411968"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540424792"   Paper_ID="/390309.html"   Extracted="3540424792"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.1111111111111111"   />

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

            <identifier   Org="ISBN:354042556X"   Paper_ID="/390309.html"   Extracted="354042556X"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540442529"   Paper_ID="/390309.html"   Extracted="3540442529"   DDC="004.2/4"   Normalized_DDC="00424"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540660100"   Paper_ID="/390309.html"   Extracted="3540660100"   />

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

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

            <identifier   Org="ISBN:3832207562"   Paper_ID="/390309.html"   Extracted="3832207562"   />

      </rec>

      <rec   ID="/231699.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="A   Compositional   Approach   to   Performance   Modelling,">

            <identifier   Org="ISBN:0521571898"   Paper_ID="/231699.html"   Extracted="0521571898"   DDC="004.2/4/011"   Normalized_DDC="00424011"   Normalized_Weight="0.0625"   />

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

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

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

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

            <identifier   Org="ISBN:3540219455"   Paper_ID="/231699.html"   Extracted="3540219455"   DDC="004.6"   Normalized_DDC="0046"   Normalized_Weight="0.0625"   />

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

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

            <identifier   Org="ISBN:3540408142"   Paper_ID="/231699.html"   Extracted="3540408142"   DDC="004.2/4"   Normalized_DDC="00424"   Normalized_Weight="0.0625"   />

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

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

            <identifier   Org="ISBN:354042556X"   Paper_ID="/231699.html"   Extracted="354042556X"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540435395"   Paper_ID="/231699.html"   Extracted="3540435395"   DDC="004.2/4"   Normalized_DDC="00424"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:3540442529"   Paper_ID="/231699.html"   Extracted="3540442529"   DDC="004.2/4"   Normalized_DDC="00424"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:3540709517"   Paper_ID="/231699.html"   Extracted="3540709517"   />

            <identifier   Org="ISBN:3540724826"   Paper_ID="/231699.html"   Extracted="3540724826"   />

      </rec>

      <rec   ID="/220977.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Probabilistic   evaluation   for   the   analytical   solution   of   large   Markov   models:   Algorithms   and   tool   support,">

            <identifier   Org="ISBN:0471972282"   Paper_ID="/220977.html"   Extracted="0471972282"   DDC="004.6"   Normalized_DDC="0046"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:0818672102"   Paper_ID="/220977.html"   Extracted="0818672102"   DDC="004.2/4/015115"   Normalized_DDC="00424015115"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540424792"   Paper_ID="/220977.html"   Extracted="3540424792"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.3333333333333333"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Model   checking   continuous-time   Markov   chains   by   transient   analysis">

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

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

            <identifier   Org="ISBN:354021299X"   Paper_ID="SELF"   Extracted="354021299X"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540222650"   Paper_ID="SELF"   Extracted="3540222650"   DDC="519.22"   Normalized_DDC="51922"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540231692"   Paper_ID="SELF"   Extracted="3540231692"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540232079"   Paper_ID="SELF"   Extracted="3540232079"   DDC="511/.5"   Normalized_DDC="5115"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540311394"   Paper_ID="SELF"   Extracted="3540311394"   DDC="005.14"   Normalized_DDC="00514"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540403345"   Paper_ID="SELF"   Extracted="3540403345"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540408142"   Paper_ID="SELF"   Extracted="3540408142"   DDC="004.2/4"   Normalized_DDC="00424"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540411968"   Paper_ID="SELF"   Extracted="3540411968"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540424792"   Paper_ID="SELF"   Extracted="3540424792"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.07142857142857142"   />

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

            <identifier   Org="ISBN:354042556X"   Paper_ID="SELF"   Extracted="354042556X"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540435395"   Paper_ID="SELF"   Extracted="3540435395"   DDC="004.2/4"   Normalized_DDC="00424"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540442529"   Paper_ID="SELF"   Extracted="3540442529"   DDC="004.2/4"   Normalized_DDC="00424"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540677704"   Paper_ID="SELF"   Extracted="3540677704"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.07142857142857142"   />

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

      </rec>

</references_metadata>

www.000webhost.com