Automatically assigned DDC number: 00424

Manually assigned DDC number: 00424

Number of references: 16

Title: Towards Model Checking Stochastic Process Algebra

Author:

Author:

Author:

Author:

Subject: Holger Hermanns,Joost-pieter Katoen,Joachim Meyer-kayser,Markus Siegle Towards Model Checking Stochastic Process Algebra

Description: . Stochastic process algebra have been proven useful because they allow behaviour-oriented performance and reliability modelling. As opposed to traditional performance modelling techniques, the behaviouroriented style supports composition and abstraction in a natural way. However, analysis of stochastic process algebra models is state-oriented, because standard numerical analysis is typically based on the calculation of (transient and steady) state probabilities. This shift of paradigms hampers the acceptance of the process algebraic approach by performance modellers. In this paper, we develop an entirely behaviour-oriented analysis technique for stochastic process algebra. The key contribution is an action-based temporal logic to describe behaviours-of-interest, together with a model checking algorithm to derive the probability with which a stochastic process algebra model exhibits a given behaviour-of-interest. 1 Introduction The analysis of systems with respect to their performance...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 2000-11-06

Pubyear: 2000

Format: ps

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

Source: ftp://ftp.informatik.uni-erlangen.de/local/inf7/mmb/ifm2000.ps.Z

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="/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="/310136.html"   Type="inproceedings"   CiteSeer_Book="Computer   Aided   Verification"   CiteSeer_Volume=""   Title="Model   Checking   Continuous-Time   Markov   Chains   by   Transient   Analysis,">

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

      </rec>

      <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="/86928.html"   Type="article"   CiteSeer_Book="Information   Processing   Letters"   CiteSeer_Volume="66"   Title="On   the   Verification   of   Qualitative   Properties   of   Probabilistic   Processes   under   Fairness   Constraints,">

            <identifier   Org="ISBN:1402001398"   Paper_ID="/86928.html"   Extracted="1402001398"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.2"   />

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

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

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

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

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

      </rec>

      <rec   ID="/326954.html"   Type="article"   CiteSeer_Book="Theoretical   Computer   Science"   CiteSeer_Volume="202"   Title="A   tutorial   on   {EMPA}:   {A}   theory   of   concurrent   processes   with   nondeterminism,   priorities,   probabilities   and   time,">

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

      </rec>

      <rec   ID="/76053.html"   Type="article"   CiteSeer_Book="Lecture   Notes   in   Computer   Science"   CiteSeer_Volume="1601"   Title="Specifying   Performance   Measures   for   {PEPA},">

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

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

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

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

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

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

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

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

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

      </rec>

      <rec   ID="/238815.html"   Type="inproceedings"   CiteSeer_Book="IEEE   RealTime   Systems   Symposium"   CiteSeer_Volume=""   Title="Specification   and   Analysis   of   Soft   Real-Time   Systems:   Quantity   and   Quality,">

            <identifier   Org="ISBN:0415383404"   Paper_ID="/238815.html"   Extracted="0415383404"   />

            <identifier   Org="ISBN:0792379233"   Paper_ID="/238815.html"   Extracted="0792379233"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.2"   />

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

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

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

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

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

      </rec>

      <rec   ID="/53085.html"   Type="inproceedings"   CiteSeer_Book="PerformanceSIGMETRICS   Tutorials"   CiteSeer_Volume=""   Title="Multiprocessor   and   Distributed   System   Design:   The   Integration   of   Functional   Specification   and   Performance   Analysis   Using   Stochastic   Process   Algebras,">

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

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

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

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

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

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

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

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

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

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

            <identifier   Org="ISBN:354057297X"   Paper_ID="/53085.html"   Extracted="354057297X"   DDC="004.6"   Normalized_DDC="0046"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540580212"   Paper_ID="/53085.html"   Extracted="3540580212"   DDC="004.24/01/1"   Normalized_DDC="00424011"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354060300X"   Paper_ID="/53085.html"   Extracted="354060300X"   DDC="004.2/4"   Normalized_DDC="00424"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540616047"   Paper_ID="/53085.html"   Extracted="3540616047"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540671935"   Paper_ID="/53085.html"   Extracted="3540671935"   DDC="004/.029/7"   Normalized_DDC="0040297"   Normalized_Weight="0.058823529411764705"   />

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

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

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

      </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="/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="/260424.html"   Type="article"   CiteSeer_Book="Lecture   Notes   in   Computer   Science"   CiteSeer_Volume="1469"   Title="Compositional   Performance   Modelling   with   the   {TIPPtool},">

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

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

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

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

            <identifier   Org="ISBN:3540235264"   Paper_ID="/260424.html"   Extracted="3540235264"   />

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

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

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

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

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

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

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

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

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

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

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

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

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

      </rec>

      <rec   ID="/20469.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Stochastic   Process   Algebras   as   a   Tool   for   Performance   and   Dependability   Modelling,">

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

            <identifier   Org="ISBN:0780399781"   Paper_ID="/20469.html"   Extracted="0780399781"   />

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

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

            <identifier   Org="ISBN:3540421459"   Paper_ID="/20469.html"   Extracted="3540421459"   DDC="004.2/4"   Normalized_DDC="00424"   Normalized_Weight="0.14285714285714285"   />

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

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

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

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

      </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.058823529411764705"   />

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

      </rec>

      <rec   ID="/602186.html"   Type="inproceedings"   CiteSeer_Book="Tools   and   Algorithms   for   Construction   and   Analysis   of   Systems"   CiteSeer_Volume=""   Title="Efficient   Diagnostic   Generation   for   Boolean   Equation   Systems,">

            <identifier   Org="ISBN:0387240500"   Paper_ID="/602186.html"   Extracted="0387240500"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.5"   />

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

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

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

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Towards   Model   Checking   Stochastic   Process   Algebra">

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

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

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

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

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

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

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

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

            <identifier   Org="ISBN:3540442618"   Paper_ID="SELF"   Extracted="3540442618"   DDC="519.2/33"   Normalized_DDC="519233"   Normalized_Weight="0.1111111111111111"   />

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

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

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

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

      </rec>

</references_metadata>

www.000webhost.com