Automatically assigned DDC number: 00433
Manually assigned DDC number: 00433
Number of references: 35
Title: Timed Automata
Author:
Subject: Rajeev Alur Timed Automata
Description: . Model checking is emerging as a practical tool for automated debugging of complex reactive systems such as embedded controllers and network protocols (see [23] for a survey). Traditional techniques for model checking do not admit an explicit modeling of time, and are thus, unsuitable for analysis of real-time systems whose correctness depends on relative magnitudes of different delays. Consequently, timed automata [7] were introduced as a formal notation to model the behavior of real-time systems. Its definition provides a simple way to annotate state-transition graphs with timing constraints using finitely many real-valued clock variables. Automated analysis of timed automata relies on the construction of a finite quotient of the infinite space of clock valuations. Over the years, the formalism has been extensively studied leading to many results establishing connections to circuits and logic, and much progress has been made in developing verification algorithms, heuristics, and too...
Contributor: The Pennsylvania State University CiteSeer Archives
Publisher: unknown
Date: 1999-03-16
Pubyear: 1999
Format: ps
Identifier: http://citeseer.ist.psu.edu/203146.html
Source: http://www.cis.upenn.edu/~alur/Cav99.ps.gz
Language: en
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Rights: unrestricted
<?xml version="1.0" encoding="UTF-8"?>
<references_metadata>
<rec ID="/315693.html" Type="article" CiteSeer_Book="ACM Transactions on Programming Languages and Systems" CiteSeer_Volume="16" Title="An Old-Fashioned Recipe for Real Time,">
<identifier Org="ISBN:0780331990" Paper_ID="/315693.html" Extracted="0780331990" DDC="001.64404" Normalized_DDC="00164404" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0821806807" Paper_ID="/315693.html" Extracted="0821806807" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540216715" Paper_ID="/315693.html" Extracted="3540216715" DDC="004.33" Normalized_DDC="00433" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:354022906X" Paper_ID="/315693.html" Extracted="354022906X" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540308814" Paper_ID="/315693.html" Extracted="3540308814" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540410554" Paper_ID="/315693.html" Extracted="3540410554" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540417117" Paper_ID="/315693.html" Extracted="3540417117" DDC="658.5" Normalized_DDC="6585" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540437878" Paper_ID="/315693.html" Extracted="3540437878" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540555641" Paper_ID="/315693.html" Extracted="3540555641" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540558225" Paper_ID="/315693.html" Extracted="3540558225" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540563202" Paper_ID="/315693.html" Extracted="3540563202" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540564969" Paper_ID="/315693.html" Extracted="3540564969" DDC="511.3/0285" Normalized_DDC="51130285" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540582010" Paper_ID="/315693.html" Extracted="3540582010" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540584684" Paper_ID="/315693.html" Extracted="3540584684" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:354061155X" Paper_ID="/315693.html" Extracted="354061155X" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540630104" Paper_ID="/315693.html" Extracted="3540630104" DDC="005.2/73" Normalized_DDC="005273" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540651934" Paper_ID="/315693.html" Extracted="3540651934" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540672826" Paper_ID="/315693.html" Extracted="3540672826" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.05555555555555555" />
</rec>
<rec ID="/194685.html" Type="inproceedings" CiteSeer_Book="Automata Languages and Programming" CiteSeer_Volume="" Title="Model-Checking for Probabilistic Real-Time Systems (Extended Abstract),">
<identifier Org="ISBN:0387542337" Paper_ID="/194685.html" Extracted="0387542337" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.25" />
<identifier Org="ISBN:3540222650" Paper_ID="/194685.html" Extracted="3540222650" DDC="519.22" Normalized_DDC="51922" Normalized_Weight="0.25" />
<identifier Org="ISBN:3540272313" Paper_ID="/194685.html" Extracted="3540272313" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.25" />
<identifier Org="ISBN:3540542337" Paper_ID="/194685.html" Extracted="3540542337" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.25" />
</rec>
<rec ID="/96767.html" Type="article" CiteSeer_Book="Information and Computation" CiteSeer_Volume="104" Title="Model-Checking in Dense Real-time,">
<identifier Org="ISBN:0769503063" Paper_ID="/96767.html" Extracted="0769503063" DDC="004.33" Normalized_DDC="00433" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0780338014" Paper_ID="/96767.html" Extracted="0780338014" />
<identifier Org="ISBN:0818680733" Paper_ID="/96767.html" Extracted="0818680733" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540222650" Paper_ID="/96767.html" Extracted="3540222650" DDC="519.22" Normalized_DDC="51922" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354022906X" Paper_ID="/96767.html" Extracted="354022906X" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540253882" Paper_ID="/96767.html" Extracted="3540253882" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354028060X" Paper_ID="/96767.html" Extracted="354028060X" DDC="004.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540416951" Paper_ID="/96767.html" Extracted="3540416951" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540434194" Paper_ID="/96767.html" Extracted="3540434194" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540436316" Paper_ID="/96767.html" Extracted="3540436316" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540441654" Paper_ID="/96767.html" Extracted="3540441654" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354062600X" Paper_ID="/96767.html" Extracted="354062600X" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540660100" Paper_ID="/96767.html" Extracted="3540660100" />
<identifier Org="ISBN:3540662243" Paper_ID="/96767.html" Extracted="3540662243" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540664084" Paper_ID="/96767.html" Extracted="3540664084" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540664254" Paper_ID="/96767.html" Extracted="3540664254" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540677704" Paper_ID="/96767.html" Extracted="3540677704" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540678972" Paper_ID="/96767.html" Extracted="3540678972" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354073550X" Paper_ID="/96767.html" Extracted="354073550X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
</rec>
<rec ID="/147460.html" Type="inproceedings" CiteSeer_Book="International Conference on Concurrency Theory" CiteSeer_Volume="" Title="Minimization of Timed Transition Systems,">
<identifier Org="ISBN:0387569227" Paper_ID="/147460.html" Extracted="0387569227" DDC="511.3/0285" Normalized_DDC="51130285" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0818631953" Paper_ID="/147460.html" Extracted="0818631953" />
<identifier Org="ISBN:1584886781" Paper_ID="/147460.html" Extracted="1584886781" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540008985" Paper_ID="/147460.html" Extracted="3540008985" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540216715" Paper_ID="/147460.html" Extracted="3540216715" DDC="004.33" Normalized_DDC="00433" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540222367" Paper_ID="/147460.html" Extracted="3540222367" DDC="511.3/5" Normalized_DDC="51135" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354043075X" Paper_ID="/147460.html" Extracted="354043075X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540437924" Paper_ID="/147460.html" Extracted="3540437924" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540441654" Paper_ID="/147460.html" Extracted="3540441654" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540558225" Paper_ID="/147460.html" Extracted="3540558225" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540573186" Paper_ID="/147460.html" Extracted="3540573186" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540580271" Paper_ID="/147460.html" Extracted="3540580271" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540583297" Paper_ID="/147460.html" Extracted="3540583297" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540584684" Paper_ID="/147460.html" Extracted="3540584684" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540600450" Paper_ID="/147460.html" Extracted="3540600450" DDC="004.2/4/015113" Normalized_DDC="00424015113" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540609229" Paper_ID="/147460.html" Extracted="3540609229" DDC="004/.01/511" Normalized_DDC="00401511" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540651934" Paper_ID="/147460.html" Extracted="3540651934" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540662243" Paper_ID="/147460.html" Extracted="3540662243" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540709517" Paper_ID="/147460.html" Extracted="3540709517" />
</rec>
<rec ID="/17507.html" Type="article" CiteSeer_Book="Theoretical Computer Science" CiteSeer_Volume="138" Title="The algorithmic analysis of hybrid systems,">
<identifier Org="ISBN:0080442498" Paper_ID="/17507.html" Extracted="0080442498" DDC="670.285" Normalized_DDC="670285" Normalized_Weight="0.05" />
<identifier Org="ISBN:0080446132" Paper_ID="/17507.html" Extracted="0080446132" DDC="629.8" Normalized_DDC="6298" Normalized_Weight="0.05" />
<identifier Org="ISBN:1402056257" Paper_ID="/17507.html" Extracted="1402056257" DDC="629.8" Normalized_DDC="6298" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540008985" Paper_ID="/17507.html" Extracted="3540008985" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540212590" Paper_ID="/17507.html" Extracted="3540212590" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.05" />
<identifier Org="ISBN:354022310X" Paper_ID="/17507.html" Extracted="354022310X" DDC="519.6" Normalized_DDC="5196" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540292098" Paper_ID="/17507.html" Extracted="3540292098" DDC="620.00420285" Normalized_DDC="62000420285" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540309462" Paper_ID="/17507.html" Extracted="3540309462" DDC="003/.3" Normalized_DDC="0033" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540418660" Paper_ID="/17507.html" Extracted="3540418660" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.05" />
<identifier Org="ISBN:354042959X" Paper_ID="/17507.html" Extracted="354042959X" DDC="620.00420285" Normalized_DDC="62000420285" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540600841" Paper_ID="/17507.html" Extracted="3540600841" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540604723" Paper_ID="/17507.html" Extracted="3540604723" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540606300" Paper_ID="/17507.html" Extracted="3540606300" DDC="005.2" Normalized_DDC="0052" Normalized_Weight="0.05" />
<identifier Org="ISBN:354061155X" Paper_ID="/17507.html" Extracted="354061155X" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.05" />
<identifier Org="ISBN:354062600X" Paper_ID="/17507.html" Extracted="354062600X" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540643583" Paper_ID="/17507.html" Extracted="3540643583" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540650032" Paper_ID="/17507.html" Extracted="3540650032" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.05" />
<identifier Org="ISBN:354065643X" Paper_ID="/17507.html" Extracted="354065643X" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540714928" Paper_ID="/17507.html" Extracted="3540714928" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540787380" Paper_ID="/17507.html" Extracted="3540787380" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05" />
</rec>
<rec ID="/94786.html" Type="inproceedings" CiteSeer_Book="International Conference on Concurrency Theory" CiteSeer_Volume="" Title="The Observational Power of Clocks,">
<identifier Org="ISBN:354000145X" Paper_ID="/94786.html" Extracted="354000145X" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540006230" Paper_ID="/94786.html" Extracted="3540006230" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540204369" Paper_ID="/94786.html" Extracted="3540204369" DDC="004.67/8" Normalized_DDC="004678" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540205276" Paper_ID="/94786.html" Extracted="3540205276" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540222618" Paper_ID="/94786.html" Extracted="3540222618" DDC="511.3/5" Normalized_DDC="51135" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354022940X" Paper_ID="/94786.html" Extracted="354022940X" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540230688" Paper_ID="/94786.html" Extracted="3540230688" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540236104" Paper_ID="/94786.html" Extracted="3540236104" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540251081" Paper_ID="/94786.html" Extracted="3540251081" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540280634" Paper_ID="/94786.html" Extracted="3540280634" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540583297" Paper_ID="/94786.html" Extracted="3540583297" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540584684" Paper_ID="/94786.html" Extracted="3540584684" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540587152" Paper_ID="/94786.html" Extracted="3540587152" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540616489" Paper_ID="/94786.html" Extracted="3540616489" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540677704" Paper_ID="/94786.html" Extracted="3540677704" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540678972" Paper_ID="/94786.html" Extracted="3540678972" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540679014" Paper_ID="/94786.html" Extracted="3540679014" DDC="004.0151" Normalized_DDC="0040151" Normalized_Weight="0.058823529411764705" />
</rec>
<rec ID="/64835.html" Type="inproceedings" CiteSeer_Book="Symposium on Principles of Distributed Computing" CiteSeer_Volume="" Title="The Benefits of Relaxing Punctuality,">
<identifier Org="ISBN:0897914392" Paper_ID="/64835.html" Extracted="0897914392" DDC="004.36" Normalized_DDC="00436" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540004009" Paper_ID="/64835.html" Extracted="3540004009" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354022940X" Paper_ID="/64835.html" Extracted="354022940X" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540230688" Paper_ID="/64835.html" Extracted="3540230688" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540253041" Paper_ID="/64835.html" Extracted="3540253041" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540414134" Paper_ID="/64835.html" Extracted="3540414134" DDC="005" Normalized_DDC="005" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540422528" Paper_ID="/64835.html" Extracted="3540422528" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540441654" Paper_ID="/64835.html" Extracted="3540441654" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540555641" Paper_ID="/64835.html" Extracted="3540555641" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540575294" Paper_ID="/64835.html" Extracted="3540575294" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354062600X" Paper_ID="/64835.html" Extracted="354062600X" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540638881" Paper_ID="/64835.html" Extracted="3540638881" DDC="005.1/01/512" Normalized_DDC="005101512" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540648968" Paper_ID="/64835.html" Extracted="3540648968" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540665366" Paper_ID="/64835.html" Extracted="3540665366" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540671412" Paper_ID="/64835.html" Extracted="3540671412" DDC="004.01511" Normalized_DDC="00401511" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540754539" Paper_ID="/64835.html" Extracted="3540754539" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540784977" Paper_ID="/64835.html" Extracted="3540784977" DDC="003" Normalized_DDC="003" Normalized_Weight="0.058823529411764705" />
</rec>
<rec ID="/39607.html" Type="article" CiteSeer_Book="Theoretical Computer Science" CiteSeer_Volume="211" Title="Event-clock automata: a determinizable class of timed automata,">
<identifier Org="ISBN:1595930914" Paper_ID="/39607.html" Extracted="1595930914" />
<identifier Org="ISBN:3540222618" Paper_ID="/39607.html" Extracted="3540222618" DDC="511.3/5" Normalized_DDC="51135" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540230688" Paper_ID="/39607.html" Extracted="3540230688" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540251081" Paper_ID="/39607.html" Extracted="3540251081" DDC="004" Normalized_DDC="004" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540252363" Paper_ID="/39607.html" Extracted="3540252363" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540253882" Paper_ID="/39607.html" Extracted="3540253882" DDC="004" Normalized_DDC="004" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540275800" Paper_ID="/39607.html" Extracted="3540275800" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540308075" Paper_ID="/39607.html" Extracted="3540308075" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540440437" Paper_ID="/39607.html" Extracted="3540440437" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540441654" Paper_ID="/39607.html" Extracted="3540441654" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540662022" Paper_ID="/39607.html" Extracted="3540662022" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540662243" Paper_ID="/39607.html" Extracted="3540662243" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540668365" Paper_ID="/39607.html" Extracted="3540668365" DDC="005" Normalized_DDC="005" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540754539" Paper_ID="/39607.html" Extracted="3540754539" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540756973" Paper_ID="/39607.html" Extracted="3540756973" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540775803" Paper_ID="/39607.html" Extracted="3540775803" DDC="658.4/038011" Normalized_DDC="6584038011" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354085777X" Paper_ID="/39607.html" Extracted="354085777X" />
<identifier Org="ISBN:3540958908" Paper_ID="/39607.html" Extracted="3540958908" />
<identifier Org="ISBN:3642009816" Paper_ID="/39607.html" Extracted="3642009816" />
</rec>
<rec ID="/17094.html" Type="inproceedings" CiteSeer_Book="IEEE Symposium on Foundations of Computer Science" CiteSeer_Volume="" Title="A Really Temporal Logic,">
<identifier Org="ISBN:0792361490" Paper_ID="/17094.html" Extracted="0792361490" DDC="005.1/01/5113" Normalized_DDC="0051015113" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0818619821" Paper_ID="/17094.html" Extracted="0818619821" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0818620730" Paper_ID="/17094.html" Extracted="0818620730" />
<identifier Org="ISBN:0818627352" Paper_ID="/17094.html" Extracted="0818627352" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:1558604804" Paper_ID="/17094.html" Extracted="1558604804" />
<identifier Org="ISBN:1586035762" Paper_ID="/17094.html" Extracted="1586035762" />
<identifier Org="ISBN:3540304959" Paper_ID="/17094.html" Extracted="3540304959" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540550925" Paper_ID="/17094.html" Extracted="3540550925" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540555641" Paper_ID="/17094.html" Extracted="3540555641" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540564969" Paper_ID="/17094.html" Extracted="3540564969" DDC="511.3/0285" Normalized_DDC="51130285" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540565035" Paper_ID="/17094.html" Extracted="3540565035" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540566627" Paper_ID="/17094.html" Extracted="3540566627" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540575294" Paper_ID="/17094.html" Extracted="3540575294" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:354062600X" Paper_ID="/17094.html" Extracted="354062600X" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540627812" Paper_ID="/17094.html" Extracted="3540627812" DDC="005.1/2" Normalized_DDC="00512" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540627901" Paper_ID="/17094.html" Extracted="3540627901" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540638881" Paper_ID="/17094.html" Extracted="3540638881" DDC="005.1/01/512" Normalized_DDC="005101512" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540727329" Paper_ID="/17094.html" Extracted="3540727329" />
<identifier Org="ISBN:3642029299" Paper_ID="/17094.html" Extracted="3642029299" />
</rec>
<rec ID="/7624.html" Type="inproceedings" CiteSeer_Book="Proceedings of the Eighth International Conference on Concurrency Theory CONCUR" CiteSeer_Volume="" Title="{Modularity for Timed and Hybrid Systems},">
<identifier Org="ISBN:0471234362" Paper_ID="/7624.html" Extracted="0471234362" DDC="629.8" Normalized_DDC="6298" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:0780365666" Paper_ID="/7624.html" Extracted="0780365666" />
<identifier Org="ISBN:0780367227" Paper_ID="/7624.html" Extracted="0780367227" />
<identifier Org="ISBN:3540309462" Paper_ID="/7624.html" Extracted="3540309462" DDC="003/.3" Normalized_DDC="0033" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540328696" Paper_ID="/7624.html" Extracted="3540328696" DDC="511/.3/5" Normalized_DDC="51135" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540407537" Paper_ID="/7624.html" Extracted="3540407537" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540418660" Paper_ID="/7624.html" Extracted="3540418660" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540436316" Paper_ID="/7624.html" Extracted="3540436316" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540439307" Paper_ID="/7624.html" Extracted="3540439307" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540631410" Paper_ID="/7624.html" Extracted="3540631410" DDC="004" Normalized_DDC="004" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540650032" Paper_ID="/7624.html" Extracted="3540650032" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540662022" Paper_ID="/7624.html" Extracted="3540662022" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540672591" Paper_ID="/7624.html" Extracted="3540672591" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540678239" Paper_ID="/7624.html" Extracted="3540678239" DDC="004" Normalized_DDC="004" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540714928" Paper_ID="/7624.html" Extracted="3540714928" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540726845" Paper_ID="/7624.html" Extracted="3540726845" />
<identifier Org="ISBN:3540733671" Paper_ID="/7624.html" Extracted="3540733671" />
<identifier Org="ISBN:3540734198" Paper_ID="/7624.html" Extracted="3540734198" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540789286" Paper_ID="/7624.html" Extracted="3540789286" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354085777X" Paper_ID="/7624.html" Extracted="354085777X" />
</rec>
<rec ID="/131548.html" Type="inproceedings" CiteSeer_Book="IEEE RealTime Systems Symposium" CiteSeer_Volume="" Title="Automatic Symbolic Verification of Embedded Systems,">
<identifier Org="ISBN:0471184063" Paper_ID="/131548.html" Extracted="0471184063" DDC="658.4038" Normalized_DDC="6584038" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0769521258" Paper_ID="/131548.html" Extracted="0769521258" />
<identifier Org="ISBN:0792374703" Paper_ID="/131548.html" Extracted="0792374703" DDC="004.36" Normalized_DDC="00436" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:081864480X" Paper_ID="/131548.html" Extracted="081864480X" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:1402062532" Paper_ID="/131548.html" Extracted="1402062532" />
<identifier Org="ISBN:1586035703" Paper_ID="/131548.html" Extracted="1586035703" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540216715" Paper_ID="/131548.html" Extracted="3540216715" DDC="004.33" Normalized_DDC="00433" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540272313" Paper_ID="/131548.html" Extracted="3540272313" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540308075" Paper_ID="/131548.html" Extracted="3540308075" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540308814" Paper_ID="/131548.html" Extracted="3540308814" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540405240" Paper_ID="/131548.html" Extracted="3540405240" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540410554" Paper_ID="/131548.html" Extracted="3540410554" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540418652" Paper_ID="/131548.html" Extracted="3540418652" DDC="004.2/11" Normalized_DDC="004211" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:354042959X" Paper_ID="/131548.html" Extracted="354042959X" DDC="620.00420285" Normalized_DDC="62000420285" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540584684" Paper_ID="/131548.html" Extracted="3540584684" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540584854" Paper_ID="/131548.html" Extracted="3540584854" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540604723" Paper_ID="/131548.html" Extracted="3540604723" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540606300" Paper_ID="/131548.html" Extracted="3540606300" DDC="005.2" Normalized_DDC="0052" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540630104" Paper_ID="/131548.html" Extracted="3540630104" DDC="005.2/73" Normalized_DDC="005273" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540643583" Paper_ID="/131548.html" Extracted="3540643583" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.05555555555555555" />
</rec>
<rec ID="/136975.html" Type="inproceedings" CiteSeer_Book="Computer Aided Verification" CiteSeer_Volume="" Title="Timing Verification by Successive Approximation,">
<identifier Org="ISBN:0387569227" Paper_ID="/136975.html" Extracted="0387569227" DDC="511.3/0285" Normalized_DDC="51130285" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0780338014" Paper_ID="/136975.html" Extracted="0780338014" />
<identifier Org="ISBN:0780364457" Paper_ID="/136975.html" Extracted="0780364457" />
<identifier Org="ISBN:0792373936" Paper_ID="/136975.html" Extracted="0792373936" DDC="621.39/5" Normalized_DDC="621395" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:1558607021" Paper_ID="/136975.html" Extracted="1558607021" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:1590331028" Paper_ID="/136975.html" Extracted="1590331028" DDC="344.73/046" Normalized_DDC="34473046" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540001166" Paper_ID="/136975.html" Extracted="3540001166" DDC="621.39/2" Normalized_DDC="621392" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540210024" Paper_ID="/136975.html" Extracted="3540210024" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354021299X" Paper_ID="/136975.html" Extracted="354021299X" DDC="005.1/2" Normalized_DDC="00512" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540309462" Paper_ID="/136975.html" Extracted="3540309462" DDC="003/.3" Normalized_DDC="0033" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540439137" Paper_ID="/136975.html" Extracted="3540439137" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540564969" Paper_ID="/136975.html" Extracted="3540564969" DDC="511.3/0285" Normalized_DDC="51130285" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540581790" Paper_ID="/136975.html" Extracted="3540581790" DDC="004.2/4/015113" Normalized_DDC="00424015113" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540600450" Paper_ID="/136975.html" Extracted="3540600450" DDC="004.2/4/015113" Normalized_DDC="00424015113" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540604723" Paper_ID="/136975.html" Extracted="3540604723" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540610421" Paper_ID="/136975.html" Extracted="3540610421" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354061155X" Paper_ID="/136975.html" Extracted="354061155X" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540651934" Paper_ID="/136975.html" Extracted="3540651934" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540662022" Paper_ID="/136975.html" Extracted="3540662022" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354069840X" Paper_ID="/136975.html" Extracted="354069840X" />
</rec>
<rec ID="/144529.html" Type="inproceedings" CiteSeer_Book="International Conference on Software Engineering" CiteSeer_Volume="" Title="Model-Checking of Real-Time Systems: A Telecommunications Application (Experience Report)," />
<rec ID="/181463.html" Type="inproceedings" CiteSeer_Book="Hybrid Systems III Verification and Control" CiteSeer_Volume="" Title="Timing Analysis in {COSPAN},">
<identifier Org="ISBN:0262032708" Paper_ID="/181463.html" Extracted="0262032708" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0471184063" Paper_ID="/181463.html" Extracted="0471184063" DDC="658.4038" Normalized_DDC="6584038" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0780336542" Paper_ID="/181463.html" Extracted="0780336542" />
<identifier Org="ISBN:1600219977" Paper_ID="/181463.html" Extracted="1600219977" DDC="629.8/92" Normalized_DDC="629892" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540222367" Paper_ID="/181463.html" Extracted="3540222367" DDC="511.3/5" Normalized_DDC="51135" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540230688" Paper_ID="/181463.html" Extracted="3540230688" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540328696" Paper_ID="/181463.html" Extracted="3540328696" DDC="511/.3/5" Normalized_DDC="51135" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540423451" Paper_ID="/181463.html" Extracted="3540423451" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540434194" Paper_ID="/181463.html" Extracted="3540434194" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354061155X" Paper_ID="/181463.html" Extracted="354061155X" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540616047" Paper_ID="/181463.html" Extracted="3540616047" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540650032" Paper_ID="/181463.html" Extracted="3540650032" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540651934" Paper_ID="/181463.html" Extracted="3540651934" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540662022" Paper_ID="/181463.html" Extracted="3540662022" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540663630" Paper_ID="/181463.html" Extracted="3540663630" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540665595" Paper_ID="/181463.html" Extracted="3540665595" DDC="621.3815" Normalized_DDC="6213815" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540677151" Paper_ID="/181463.html" Extracted="3540677151" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
</rec>
<rec ID="/32269.html" Type="inproceedings" CiteSeer_Book="Logic in Computer Science" CiteSeer_Volume="" Title="A Kleene Theorem for Timed Automata,">
<identifier Org="ISBN:0387360336" Paper_ID="/32269.html" Extracted="0387360336" DDC="511.3/52" Normalized_DDC="511352" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0818679263" Paper_ID="/32269.html" Extracted="0818679263" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:1586035703" Paper_ID="/32269.html" Extracted="1586035703" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540205276" Paper_ID="/32269.html" Extracted="3540205276" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540265465" Paper_ID="/32269.html" Extracted="3540265465" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540283099" Paper_ID="/32269.html" Extracted="3540283099" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540404317" Paper_ID="/32269.html" Extracted="3540404317" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540424962" Paper_ID="/32269.html" Extracted="3540424962" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540424970" Paper_ID="/32269.html" Extracted="3540424970" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540630104" Paper_ID="/32269.html" Extracted="3540630104" DDC="005.2/73" Normalized_DDC="005273" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540653074" Paper_ID="/32269.html" Extracted="3540653074" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540662022" Paper_ID="/32269.html" Extracted="3540662022" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540662243" Paper_ID="/32269.html" Extracted="3540662243" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540664122" Paper_ID="/32269.html" Extracted="3540664122" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540668365" Paper_ID="/32269.html" Extracted="3540668365" DDC="005" Normalized_DDC="005" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540671412" Paper_ID="/32269.html" Extracted="3540671412" DDC="004.01511" Normalized_DDC="00401511" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540712089" Paper_ID="/32269.html" Extracted="3540712089" />
<identifier Org="ISBN:3540749632" Paper_ID="/32269.html" Extracted="3540749632" />
<identifier Org="ISBN:3540784977" Paper_ID="/32269.html" Extracted="3540784977" DDC="003" Normalized_DDC="003" Normalized_Weight="0.058823529411764705" />
</rec>
<rec ID="/506043.html" Type="inproceedings" CiteSeer_Book="Computer Aided Verification" CiteSeer_Volume="" Title="Efficient Timed Reachability Analysis Using Clock Difference Diagrams,">
<identifier Org="ISBN:0792374703" Paper_ID="/506043.html" Extracted="0792374703" DDC="004.36" Normalized_DDC="00436" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540001999" Paper_ID="/506043.html" Extracted="3540001999" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540003487" Paper_ID="/506043.html" Extracted="3540003487" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540201750" Paper_ID="/506043.html" Extracted="3540201750" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540222367" Paper_ID="/506043.html" Extracted="3540222367" DDC="511.3/5" Normalized_DDC="51135" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540222618" Paper_ID="/506043.html" Extracted="3540222618" DDC="511.3/5" Normalized_DDC="51135" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540227911" Paper_ID="/506043.html" Extracted="3540227911" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540230688" Paper_ID="/506043.html" Extracted="3540230688" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540405240" Paper_ID="/506043.html" Extracted="3540405240" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540439315" Paper_ID="/506043.html" Extracted="3540439315" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540441654" Paper_ID="/506043.html" Extracted="3540441654" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540442359" Paper_ID="/506043.html" Extracted="3540442359" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540662022" Paper_ID="/506043.html" Extracted="3540662022" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540665366" Paper_ID="/506043.html" Extracted="3540665366" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540676287" Paper_ID="/506043.html" Extracted="3540676287" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540676937" Paper_ID="/506043.html" Extracted="3540676937" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540678972" Paper_ID="/506043.html" Extracted="3540678972" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540731954" Paper_ID="/506043.html" Extracted="3540731954" DDC="004.6/2" Normalized_DDC="00462" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3642007678" Paper_ID="/506043.html" Extracted="3642007678" />
</rec>
<rec ID="/25373.html" Type="article" CiteSeer_Book="Lecture Notes in Computer Science" CiteSeer_Volume="1536" Title="Modeling Urgency in Timed Systems,">
<identifier Org="ISBN:0792374703" Paper_ID="/25373.html" Extracted="0792374703" DDC="004.36" Normalized_DDC="00436" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:1595935428" Paper_ID="/25373.html" Extracted="1595935428" />
<identifier Org="ISBN:3540008772" Paper_ID="/25373.html" Extracted="3540008772" DDC="621.382" Normalized_DDC="621382" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540213147" Paper_ID="/25373.html" Extracted="3540213147" DDC="005.14" Normalized_DDC="00514" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540240586" Paper_ID="/25373.html" Extracted="3540240586" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540283099" Paper_ID="/25373.html" Extracted="3540283099" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540300260" Paper_ID="/25373.html" Extracted="3540300260" DDC="004.2/2" Normalized_DDC="00422" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540405399" Paper_ID="/25373.html" Extracted="3540405399" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540643583" Paper_ID="/25373.html" Extracted="3540643583" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540654933" Paper_ID="/25373.html" Extracted="3540654933" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540660100" Paper_ID="/25373.html" Extracted="3540660100" />
<identifier Org="ISBN:3540662022" Paper_ID="/25373.html" Extracted="3540662022" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540672826" Paper_ID="/25373.html" Extracted="3540672826" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540675302" Paper_ID="/25373.html" Extracted="3540675302" DDC="005.1/01/512" Normalized_DDC="005101512" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540709290" Paper_ID="/25373.html" Extracted="3540709290" />
<identifier Org="ISBN:3540754539" Paper_ID="/25373.html" Extracted="3540754539" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540775048" Paper_ID="/25373.html" Extracted="3540775048" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3642002544" Paper_ID="/25373.html" Extracted="3642002544" />
<identifier Org="ISBN:9051994591" Paper_ID="/25373.html" Extracted="9051994591" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.06666666666666667" />
</rec>
<rec ID="/177173.html" Type="inproceedings" CiteSeer_Book="Proc 9th International Conference on Computer Aided Verification CAV97" CiteSeer_Volume="" Title="Some Progress in the Symbolic Verification of Timed Automata,">
<identifier Org="ISBN:0412847604" Paper_ID="/177173.html" Extracted="0412847604" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:078039402X" Paper_ID="/177173.html" Extracted="078039402X" />
<identifier Org="ISBN:1590331028" Paper_ID="/177173.html" Extracted="1590331028" DDC="344.73/046" Normalized_DDC="34473046" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540001999" Paper_ID="/177173.html" Extracted="3540001999" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540201750" Paper_ID="/177173.html" Extracted="3540201750" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540216715" Paper_ID="/177173.html" Extracted="3540216715" DDC="004.33" Normalized_DDC="00433" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540291075" Paper_ID="/177173.html" Extracted="3540291075" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540328696" Paper_ID="/177173.html" Extracted="3540328696" DDC="511/.3/5" Normalized_DDC="51135" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540405240" Paper_ID="/177173.html" Extracted="3540405240" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540648968" Paper_ID="/177173.html" Extracted="3540648968" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540650032" Paper_ID="/177173.html" Extracted="3540650032" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540651918" Paper_ID="/177173.html" Extracted="3540651918" DDC="621.39/2" Normalized_DDC="621392" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540651934" Paper_ID="/177173.html" Extracted="3540651934" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540662022" Paper_ID="/177173.html" Extracted="3540662022" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540665366" Paper_ID="/177173.html" Extracted="3540665366" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540665595" Paper_ID="/177173.html" Extracted="3540665595" DDC="621.3815" Normalized_DDC="6213815" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540677151" Paper_ID="/177173.html" Extracted="3540677151" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:981024424X" Paper_ID="/177173.html" Extracted="981024424X" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.058823529411764705" />
</rec>
<rec ID="/224357.html" Type="inproceedings" CiteSeer_Book="Theories and Experiences for RealTime System Develpment" CiteSeer_Volume="" Title="{R}eal-{T}ime {S}ymbolic {M}odel {C}hecking for {D}iscrete {T}ime {M}odels," />
<rec ID="/26170.html" Type="inproceedings" CiteSeer_Book="Hybrid Systems III Verification and Control" CiteSeer_Volume="" Title="The Tool {KRONOS},">
<identifier Org="ISBN:0780331990" Paper_ID="/26170.html" Extracted="0780331990" DDC="001.64404" Normalized_DDC="00164404" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0792374703" Paper_ID="/26170.html" Extracted="0792374703" DDC="004.36" Normalized_DDC="00436" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0818685697" Paper_ID="/26170.html" Extracted="0818685697" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0849319854" Paper_ID="/26170.html" Extracted="0849319854" DDC="670.42/7" Normalized_DDC="670427" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:1581133464" Paper_ID="/26170.html" Extracted="1581133464" />
<identifier Org="ISBN:1586030132" Paper_ID="/26170.html" Extracted="1586030132" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:1852337281" Paper_ID="/26170.html" Extracted="1852337281" DDC="004.019" Normalized_DDC="004019" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354000145X" Paper_ID="/26170.html" Extracted="354000145X" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540280634" Paper_ID="/26170.html" Extracted="3540280634" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540434194" Paper_ID="/26170.html" Extracted="3540434194" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540441654" Paper_ID="/26170.html" Extracted="3540441654" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354061155X" Paper_ID="/26170.html" Extracted="354061155X" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540630104" Paper_ID="/26170.html" Extracted="3540630104" DDC="005.2/73" Normalized_DDC="005273" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540648968" Paper_ID="/26170.html" Extracted="3540648968" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540660100" Paper_ID="/26170.html" Extracted="3540660100" />
<identifier Org="ISBN:3540662022" Paper_ID="/26170.html" Extracted="3540662022" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540665889" Paper_ID="/26170.html" Extracted="3540665889" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540754539" Paper_ID="/26170.html" Extracted="3540754539" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540766480" Paper_ID="/26170.html" Extracted="3540766480" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
</rec>
<rec ID="/547580.html" Type="article" CiteSeer_Book="Information and Computation" CiteSeer_Volume="141" Title="Liveness in Timed and Untimed Systems,">
<identifier Org="ISBN:0821802534" Paper_ID="/547580.html" Extracted="0821802534" DDC="005.2" Normalized_DDC="0052" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540407537" Paper_ID="/547580.html" Extracted="3540407537" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540418660" Paper_ID="/547580.html" Extracted="3540418660" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540433635" Paper_ID="/547580.html" Extracted="3540433635" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540434194" Paper_ID="/547580.html" Extracted="3540434194" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540580433" Paper_ID="/547580.html" Extracted="3540580433" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540582010" Paper_ID="/547580.html" Extracted="3540582010" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540584684" Paper_ID="/547580.html" Extracted="3540584684" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540606300" Paper_ID="/547580.html" Extracted="3540606300" DDC="005.2" Normalized_DDC="0052" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354061155X" Paper_ID="/547580.html" Extracted="354061155X" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540616047" Paper_ID="/547580.html" Extracted="3540616047" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540619844" Paper_ID="/547580.html" Extracted="3540619844" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540643583" Paper_ID="/547580.html" Extracted="3540643583" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540660100" Paper_ID="/547580.html" Extracted="3540660100" />
<identifier Org="ISBN:3540662022" Paper_ID="/547580.html" Extracted="3540662022" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540733671" Paper_ID="/547580.html" Extracted="3540733671" />
<identifier Org="ISBN:3540789286" Paper_ID="/547580.html" Extracted="3540789286" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354085777X" Paper_ID="/547580.html" Extracted="354085777X" />
</rec>
<rec ID="/101911.html" Type="inproceedings" CiteSeer_Book="Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science LICS 96" CiteSeer_Volume="" Title="The Theory of Hybrid Automata,">
<identifier Org="ISBN:0080440940" Paper_ID="/101911.html" Extracted="0080440940" DDC="629.8" Normalized_DDC="6298" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0080446132" Paper_ID="/101911.html" Extracted="0080446132" DDC="629.8" Normalized_DDC="6298" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354022310X" Paper_ID="/101911.html" Extracted="354022310X" DDC="519.6" Normalized_DDC="5196" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540251081" Paper_ID="/101911.html" Extracted="3540251081" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540292098" Paper_ID="/101911.html" Extracted="3540292098" DDC="620.00420285" Normalized_DDC="62000420285" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540309462" Paper_ID="/101911.html" Extracted="3540309462" DDC="003/.3" Normalized_DDC="0033" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540422870" Paper_ID="/101911.html" Extracted="3540422870" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540425411" Paper_ID="/101911.html" Extracted="3540425411" DDC="621.39/5" Normalized_DDC="621395" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540440437" Paper_ID="/101911.html" Extracted="3540440437" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540606300" Paper_ID="/101911.html" Extracted="3540606300" DDC="005.2" Normalized_DDC="0052" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354061155X" Paper_ID="/101911.html" Extracted="354061155X" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354062600X" Paper_ID="/101911.html" Extracted="354062600X" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540657347" Paper_ID="/101911.html" Extracted="3540657347" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540664122" Paper_ID="/101911.html" Extracted="3540664122" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540664254" Paper_ID="/101911.html" Extracted="3540664254" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540672826" Paper_ID="/101911.html" Extracted="3540672826" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540714928" Paper_ID="/101911.html" Extracted="3540714928" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540727329" Paper_ID="/101911.html" Extracted="3540727329" />
<identifier Org="ISBN:8173194904" Paper_ID="/101911.html" Extracted="8173194904" />
</rec>
<rec ID="/102140.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="It's about time: Real-time logics reviewed,">
<identifier Org="ISBN:0817632395" Paper_ID="/102140.html" Extracted="0817632395" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:1595930140" Paper_ID="/102140.html" Extracted="1595930140" />
<identifier Org="ISBN:1595930914" Paper_ID="/102140.html" Extracted="1595930914" />
<identifier Org="ISBN:354022940X" Paper_ID="/102140.html" Extracted="354022940X" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540292098" Paper_ID="/102140.html" Extracted="3540292098" DDC="620.00420285" Normalized_DDC="62000420285" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540304959" Paper_ID="/102140.html" Extracted="3540304959" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540309462" Paper_ID="/102140.html" Extracted="3540309462" DDC="003/.3" Normalized_DDC="0033" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540341668" Paper_ID="/102140.html" Extracted="3540341668" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540410554" Paper_ID="/102140.html" Extracted="3540410554" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540414134" Paper_ID="/102140.html" Extracted="3540414134" DDC="005" Normalized_DDC="005" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540648968" Paper_ID="/102140.html" Extracted="3540648968" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540662022" Paper_ID="/102140.html" Extracted="3540662022" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540664122" Paper_ID="/102140.html" Extracted="3540664122" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540668365" Paper_ID="/102140.html" Extracted="3540668365" DDC="005" Normalized_DDC="005" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:354068235X" Paper_ID="/102140.html" Extracted="354068235X" />
<identifier Org="ISBN:3540682643" Paper_ID="/102140.html" Extracted="3540682643" />
<identifier Org="ISBN:3540705821" Paper_ID="/102140.html" Extracted="3540705821" />
<identifier Org="ISBN:3540781269" Paper_ID="/102140.html" Extracted="3540781269" DDC="004.0151" Normalized_DDC="0040151" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:354085777X" Paper_ID="/102140.html" Extracted="354085777X" />
</rec>
<rec ID="/106034.html" Type="inproceedings" CiteSeer_Book="IEEE RealTime Systems Symposium" CiteSeer_Volume="" Title="HyTech: The Next Generation,">
<identifier Org="ISBN:0769503063" Paper_ID="/106034.html" Extracted="0769503063" DDC="004.33" Normalized_DDC="00433" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:0769504590" Paper_ID="/106034.html" Extracted="0769504590" />
<identifier Org="ISBN:0780331214" Paper_ID="/106034.html" Extracted="0780331214" />
<identifier Org="ISBN:0780331990" Paper_ID="/106034.html" Extracted="0780331990" DDC="001.64404" Normalized_DDC="00164404" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:0780355008" Paper_ID="/106034.html" Extracted="0780355008" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:0780366131" Paper_ID="/106034.html" Extracted="0780366131" />
<identifier Org="ISBN:0818680164" Paper_ID="/106034.html" Extracted="0818680164" />
<identifier Org="ISBN:0818680733" Paper_ID="/106034.html" Extracted="0818680733" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540238417" Paper_ID="/106034.html" Extracted="3540238417" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540251081" Paper_ID="/106034.html" Extracted="3540251081" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540278826" Paper_ID="/106034.html" Extracted="3540278826" DDC="004.13/1" Normalized_DDC="004131" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540308075" Paper_ID="/106034.html" Extracted="3540308075" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540441573" Paper_ID="/106034.html" Extracted="3540441573" DDC="005" Normalized_DDC="005" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540653848" Paper_ID="/106034.html" Extracted="3540653848" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540657037" Paper_ID="/106034.html" Extracted="3540657037" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540662022" Paper_ID="/106034.html" Extracted="3540662022" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540664629" Paper_ID="/106034.html" Extracted="3540664629" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540688463" Paper_ID="/106034.html" Extracted="3540688463" />
</rec>
<rec ID="/161828.html" Type="inproceedings" CiteSeer_Book="" CiteSeer_Volume="" Title="What's decidable about hybrid automata?,">
<identifier Org="ISBN:0897917189" Paper_ID="/161828.html" Extracted="0897917189" DDC="004" Normalized_DDC="004" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540008985" Paper_ID="/161828.html" Extracted="3540008985" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540212590" Paper_ID="/161828.html" Extracted="3540212590" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540292098" Paper_ID="/161828.html" Extracted="3540292098" DDC="620.00420285" Normalized_DDC="62000420285" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540309462" Paper_ID="/161828.html" Extracted="3540309462" DDC="003/.3" Normalized_DDC="0033" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540410554" Paper_ID="/161828.html" Extracted="3540410554" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354042959X" Paper_ID="/161828.html" Extracted="354042959X" DDC="620.00420285" Normalized_DDC="62000420285" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540600841" Paper_ID="/161828.html" Extracted="3540600841" DDC="004" Normalized_DDC="004" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540604723" Paper_ID="/161828.html" Extracted="3540604723" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354062600X" Paper_ID="/161828.html" Extracted="354062600X" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540643583" Paper_ID="/161828.html" Extracted="3540643583" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354065643X" Paper_ID="/161828.html" Extracted="354065643X" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540664254" Paper_ID="/161828.html" Extracted="3540664254" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540665366" Paper_ID="/161828.html" Extracted="3540665366" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540678972" Paper_ID="/161828.html" Extracted="3540678972" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540705821" Paper_ID="/161828.html" Extracted="3540705821" />
<identifier Org="ISBN:3540727329" Paper_ID="/161828.html" Extracted="3540727329" />
<identifier Org="ISBN:364202260X" Paper_ID="/161828.html" Extracted="364202260X" />
</rec>
<rec ID="/426325.html" Type="inproceedings" CiteSeer_Book="Automata Languages and Programming" CiteSeer_Volume="" Title="What Good Are Digital Clocks?,">
<identifier Org="ISBN:3540208135" Paper_ID="/426325.html" Extracted="3540208135" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540222650" Paper_ID="/426325.html" Extracted="3540222650" DDC="519.22" Normalized_DDC="51922" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540230688" Paper_ID="/426325.html" Extracted="3540230688" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540251081" Paper_ID="/426325.html" Extracted="3540251081" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540275800" Paper_ID="/426325.html" Extracted="3540275800" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540405240" Paper_ID="/426325.html" Extracted="3540405240" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540416951" Paper_ID="/426325.html" Extracted="3540416951" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540434194" Paper_ID="/426325.html" Extracted="3540434194" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540555641" Paper_ID="/426325.html" Extracted="3540555641" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540557199" Paper_ID="/426325.html" Extracted="3540557199" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540600434" Paper_ID="/426325.html" Extracted="3540600434" DDC="005.1/01/512" Normalized_DDC="005101512" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:354061155X" Paper_ID="/426325.html" Extracted="354061155X" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540627901" Paper_ID="/426325.html" Extracted="3540627901" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540648968" Paper_ID="/426325.html" Extracted="3540648968" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540650032" Paper_ID="/426325.html" Extracted="3540650032" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540651918" Paper_ID="/426325.html" Extracted="3540651918" DDC="621.39/2" Normalized_DDC="621392" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540661328" Paper_ID="/426325.html" Extracted="3540661328" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540665595" Paper_ID="/426325.html" Extracted="3540665595" DDC="621.3815" Normalized_DDC="6213815" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540754539" Paper_ID="/426325.html" Extracted="3540754539" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.05263157894736842" />
</rec>
<rec ID="/422908.html" Type="inproceedings" CiteSeer_Book="7th Symposium of Logics in Computer Science" CiteSeer_Volume="" Title="{S}ymbolic {M}odel {C}hecking for {R}eal-{T}ime {S}ystems," />
<rec ID="/428726.html" Type="article" CiteSeer_Book="Lecture Notes in Computer Science" CiteSeer_Volume="1443" Title="The Regular Real-Time Languages,">
<identifier Org="ISBN:0415298857" Paper_ID="/428726.html" Extracted="0415298857" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0817632395" Paper_ID="/428726.html" Extracted="0817632395" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540006230" Paper_ID="/428726.html" Extracted="3540006230" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540228233" Paper_ID="/428726.html" Extracted="3540228233" DDC="004.1" Normalized_DDC="0041" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540230688" Paper_ID="/428726.html" Extracted="3540230688" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540251081" Paper_ID="/428726.html" Extracted="3540251081" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540410554" Paper_ID="/428726.html" Extracted="3540410554" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540424970" Paper_ID="/428726.html" Extracted="3540424970" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540647813" Paper_ID="/428726.html" Extracted="3540647813" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540648968" Paper_ID="/428726.html" Extracted="3540648968" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540662022" Paper_ID="/428726.html" Extracted="3540662022" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540664122" Paper_ID="/428726.html" Extracted="3540664122" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540665366" Paper_ID="/428726.html" Extracted="3540665366" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540668365" Paper_ID="/428726.html" Extracted="3540668365" DDC="005" Normalized_DDC="005" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540671412" Paper_ID="/428726.html" Extracted="3540671412" DDC="004.01511" Normalized_DDC="00401511" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540754539" Paper_ID="/428726.html" Extracted="3540754539" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354085777X" Paper_ID="/428726.html" Extracted="354085777X" />
<identifier Org="ISBN:354088193X" Paper_ID="/428726.html" Extracted="354088193X" />
<identifier Org="ISBN:3540958908" Paper_ID="/428726.html" Extracted="3540958908" />
</rec>
<rec ID="/38267.html" Type="inproceedings" CiteSeer_Book="Compass94 9th Annual Conference on Computer Assurance" CiteSeer_Volume="" Title="State Minimization for Concurrent System Analysis Based on State Space Exploration,">
<identifier Org="ISBN:0471184063" Paper_ID="/38267.html" Extracted="0471184063" DDC="658.4038" Normalized_DDC="6584038" Normalized_Weight="0.25" />
<identifier Org="ISBN:0780318552" Paper_ID="/38267.html" Extracted="0780318552" />
<identifier Org="ISBN:0780331990" Paper_ID="/38267.html" Extracted="0780331990" DDC="001.64404" Normalized_DDC="00164404" Normalized_Weight="0.25" />
<identifier Org="ISBN:3540441654" Paper_ID="/38267.html" Extracted="3540441654" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.25" />
<identifier Org="ISBN:3540662022" Paper_ID="/38267.html" Extracted="3540662022" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.25" />
</rec>
<rec ID="/151430.html" Type="inproceedings" CiteSeer_Book="International Conference on Concurrency Theory" CiteSeer_Volume="" Title="Verifying Abstractions of Timed Systems,">
<identifier Org="ISBN:076952284X" Paper_ID="/151430.html" Extracted="076952284X" />
<identifier Org="ISBN:0780336542" Paper_ID="/151430.html" Extracted="0780336542" />
<identifier Org="ISBN:1594542562" Paper_ID="/151430.html" Extracted="1594542562" DDC="004" Normalized_DDC="004" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540206329" Paper_ID="/151430.html" Extracted="3540206329" DDC="004" Normalized_DDC="004" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540308075" Paper_ID="/151430.html" Extracted="3540308075" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540418660" Paper_ID="/151430.html" Extracted="3540418660" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540423451" Paper_ID="/151430.html" Extracted="3540423451" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540616047" Paper_ID="/151430.html" Extracted="3540616047" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540651918" Paper_ID="/151430.html" Extracted="3540651918" DDC="621.39/2" Normalized_DDC="621392" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540662022" Paper_ID="/151430.html" Extracted="3540662022" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540665595" Paper_ID="/151430.html" Extracted="3540665595" DDC="621.3815" Normalized_DDC="6213815" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540754539" Paper_ID="/151430.html" Extracted="3540754539" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540766480" Paper_ID="/151430.html" Extracted="3540766480" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3642006019" Paper_ID="/151430.html" Extracted="3642006019" />
</rec>
<rec ID="/159478.html" Type="article" CiteSeer_Book="Information and Computation" CiteSeer_Volume="134" Title="Time-abstracted Bisimulation: Implicit Specifications and Decidability,">
<identifier Org="ISBN:0387569227" Paper_ID="/159478.html" Extracted="0387569227" DDC="511.3/0285" Normalized_DDC="51130285" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:0412636409" Paper_ID="/159478.html" Extracted="0412636409" DDC="004.62" Normalized_DDC="00462" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:0471139580" Paper_ID="/159478.html" Extracted="0471139580" />
<identifier Org="ISBN:0521875463" Paper_ID="/159478.html" Extracted="0521875463" DDC="006.330151" Normalized_DDC="006330151" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:0769503063" Paper_ID="/159478.html" Extracted="0769503063" DDC="004.33" Normalized_DDC="00433" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540222618" Paper_ID="/159478.html" Extracted="3540222618" DDC="511.3/5" Normalized_DDC="51135" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:354022940X" Paper_ID="/159478.html" Extracted="354022940X" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540236104" Paper_ID="/159478.html" Extracted="3540236104" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540304959" Paper_ID="/159478.html" Extracted="3540304959" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540580271" Paper_ID="/159478.html" Extracted="3540580271" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540600841" Paper_ID="/159478.html" Extracted="3540600841" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540602461" Paper_ID="/159478.html" Extracted="3540602461" />
<identifier Org="ISBN:3540610529" Paper_ID="/159478.html" Extracted="3540610529" DDC="005.2" Normalized_DDC="0052" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540662022" Paper_ID="/159478.html" Extracted="3540662022" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540713891" Paper_ID="/159478.html" Extracted="3540713891" DDC="005.12" Normalized_DDC="00512" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:354085777X" Paper_ID="/159478.html" Extracted="354085777X" />
</rec>
<rec ID="/172106.html" Type="inproceedings" CiteSeer_Book="Computer Aided Verification" CiteSeer_Volume="" Title="{STARI}: A Case Study in Compositional and Hierarchical Timing Verification,">
<identifier Org="ISBN:3540216715" Paper_ID="/172106.html" Extracted="3540216715" DDC="004.33" Normalized_DDC="00433" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540236104" Paper_ID="/172106.html" Extracted="3540236104" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540251081" Paper_ID="/172106.html" Extracted="3540251081" DDC="004" Normalized_DDC="004" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540648968" Paper_ID="/172106.html" Extracted="3540648968" DDC="004" Normalized_DDC="004" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540651918" Paper_ID="/172106.html" Extracted="3540651918" DDC="621.39/2" Normalized_DDC="621392" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540662022" Paper_ID="/172106.html" Extracted="3540662022" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540665595" Paper_ID="/172106.html" Extracted="3540665595" DDC="621.3815" Normalized_DDC="6213815" Normalized_Weight="0.14285714285714285" />
</rec>
<rec ID="/3887.html" Type="article" CiteSeer_Book="International Journal on Software Tools for Technology Transfer" CiteSeer_Volume="1" Title="Continuous Modeling of Real-Time and Hybrid Systems: From Concepts to Tools,">
<identifier Org="ISBN:0471498750" Paper_ID="/3887.html" Extracted="0471498750" DDC="621.382/16" Normalized_DDC="62138216" Normalized_Weight="0.3333333333333333" />
<identifier Org="ISBN:3540213775" Paper_ID="/3887.html" Extracted="3540213775" DDC="004.0151" Normalized_DDC="0040151" Normalized_Weight="0.3333333333333333" />
<identifier Org="ISBN:3540662022" Paper_ID="/3887.html" Extracted="3540662022" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.3333333333333333" />
</rec>
<rec ID="/113069.html" Type="inproceedings" CiteSeer_Book="Proceedings of the Eighth International Conference on Computer Aided Verification CAV" CiteSeer_Volume="" Title="Analysis of Timed Systems Based on Time-Abstracting bisimulations,">
<identifier Org="ISBN:3540008985" Paper_ID="/113069.html" Extracted="3540008985" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540328696" Paper_ID="/113069.html" Extracted="3540328696" DDC="511/.3/5" Normalized_DDC="51135" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540441654" Paper_ID="/113069.html" Extracted="3540441654" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:354061155X" Paper_ID="/113069.html" Extracted="354061155X" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540616047" Paper_ID="/113069.html" Extracted="3540616047" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540651934" Paper_ID="/113069.html" Extracted="3540651934" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540662022" Paper_ID="/113069.html" Extracted="3540662022" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.14285714285714285" />
</rec>
<rec ID="/110177.html" Type="inproceedings" CiteSeer_Book="CONCUR 2nd International Conference on Concurrency Theory" CiteSeer_Volume="" Title="Time-Constrained Automata,">
<identifier Org="ISBN:0780318552" Paper_ID="/110177.html" Extracted="0780318552" />
<identifier Org="ISBN:0780338014" Paper_ID="/110177.html" Extracted="0780338014" />
<identifier Org="ISBN:0792391675" Paper_ID="/110177.html" Extracted="0792391675" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:0818666005" Paper_ID="/110177.html" Extracted="0818666005" />
<identifier Org="ISBN:0818674482" Paper_ID="/110177.html" Extracted="0818674482" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:140207025X" Paper_ID="/110177.html" Extracted="140207025X" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540309462" Paper_ID="/110177.html" Extracted="3540309462" DDC="003/.3" Normalized_DDC="0033" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:354044307X" Paper_ID="/110177.html" Extracted="354044307X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540558225" Paper_ID="/110177.html" Extracted="3540558225" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540561889" Paper_ID="/110177.html" Extracted="3540561889" DDC="004/.36/015118" Normalized_DDC="00436015118" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540580433" Paper_ID="/110177.html" Extracted="3540580433" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540581790" Paper_ID="/110177.html" Extracted="3540581790" DDC="004.2/4/015113" Normalized_DDC="00424015113" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540582010" Paper_ID="/110177.html" Extracted="3540582010" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:354062600X" Paper_ID="/110177.html" Extracted="354062600X" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540662022" Paper_ID="/110177.html" Extracted="3540662022" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:354085360X" Paper_ID="/110177.html" Extracted="354085360X" DDC="681" Normalized_DDC="681" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:8173194904" Paper_ID="/110177.html" Extracted="8173194904" />
</rec>
<rec ID="SELF" Type="SELF" CiteSeer_Book="SELF" CiteSeer_Volume="SELF" Title="Timed Automata">
<identifier Org="ISBN:1852338954" Paper_ID="SELF" Extracted="1852338954" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540222618" Paper_ID="SELF" Extracted="3540222618" DDC="511.3/5" Normalized_DDC="51135" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540230688" Paper_ID="SELF" Extracted="3540230688" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540291318" Paper_ID="SELF" Extracted="3540291318" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540292098" Paper_ID="SELF" Extracted="3540292098" DDC="620.00420285" Normalized_DDC="62000420285" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540414134" Paper_ID="SELF" Extracted="3540414134" DDC="005" Normalized_DDC="005" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540425411" Paper_ID="SELF" Extracted="3540425411" DDC="621.39/5" Normalized_DDC="621395" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540441654" Paper_ID="SELF" Extracted="3540441654" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540555641" Paper_ID="SELF" Extracted="3540555641" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:354062600X" Paper_ID="SELF" Extracted="354062600X" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540630104" Paper_ID="SELF" Extracted="3540630104" DDC="005.2/73" Normalized_DDC="005273" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540662243" Paper_ID="SELF" Extracted="3540662243" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540664254" Paper_ID="SELF" Extracted="3540664254" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540668365" Paper_ID="SELF" Extracted="3540668365" DDC="005" Normalized_DDC="005" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540712089" Paper_ID="SELF" Extracted="3540712089" />
<identifier Org="ISBN:3540734198" Paper_ID="SELF" Extracted="3540734198" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540754539" Paper_ID="SELF" Extracted="3540754539" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540756973" Paper_ID="SELF" Extracted="3540756973" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:354085360X" Paper_ID="SELF" Extracted="354085360X" DDC="681" Normalized_DDC="681" Normalized_Weight="0.05555555555555555" />
</rec>
</references_metadata>