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
<?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>