Automatically assigned DDC number: 00424
Manually assigned DDC number: 005131
Number of references: 29
Title: Pushdown Timed Automata: a Binary Reachability Characterization and Safety Verification
Author:
Subject: Zhe Dang Pushdown Timed Automata: a Binary Reachability Characterization and Safety Verification
Description: We consider pushdown timed automata (PTAs) that are timed automata (with dense clocks) augmented with a pushdown stack. A configuration of a PTA includes a control state, dense clock values and a stack word. By using the pattern technique, we give a decidable characterization of the binary reachability (i.e., the set of all pairs of configurations such that one can reach the other) of a PTA. Since a timed automaton can be treated as a PTA without the pushdown stack, we can show that the binary reachability of a timed automaton is definable in the additive theory of reals and integers. The results can be used to verify a class of properties containing linear relations over both dense variables and unbounded discrete variables. The properties previously could not be verified using the classic region technique nor expressed by timed temporal logics for timed automata and CTL for pushdown systems. The results are also extended to other generalizations of timed automata.
Contributor: The Pennsylvania State University CiteSeer Archives
Publisher: unknown
Date: 2001-11-01
Pubyear: 2003
Format: ps
Identifier: http://citeseer.ist.psu.edu/500760.html
Source: http://www.eecs.wsu.edu/~zdang/papers/cav01journal.ps
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:
Rights: unrestricted
<?xml version="1.0" encoding="UTF-8"?>
<references_metadata>
<rec ID="/203146.html" Type="inproceedings" CiteSeer_Book="Computer Aided Verification" CiteSeer_Volume="" Title="Timed Automata,">
<identifier Org="ISBN:1852338954" Paper_ID="/203146.html" Extracted="1852338954" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540222618" Paper_ID="/203146.html" Extracted="3540222618" DDC="511.3/5" Normalized_DDC="51135" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540230688" Paper_ID="/203146.html" Extracted="3540230688" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540291318" Paper_ID="/203146.html" Extracted="3540291318" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540292098" Paper_ID="/203146.html" Extracted="3540292098" DDC="620.00420285" Normalized_DDC="62000420285" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540414134" Paper_ID="/203146.html" Extracted="3540414134" DDC="005" Normalized_DDC="005" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540425411" Paper_ID="/203146.html" Extracted="3540425411" DDC="621.39/5" Normalized_DDC="621395" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540441654" Paper_ID="/203146.html" Extracted="3540441654" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540555641" Paper_ID="/203146.html" Extracted="3540555641" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:354062600X" Paper_ID="/203146.html" Extracted="354062600X" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540630104" Paper_ID="/203146.html" Extracted="3540630104" DDC="005.2/73" Normalized_DDC="005273" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540662243" Paper_ID="/203146.html" Extracted="3540662243" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540664254" Paper_ID="/203146.html" Extracted="3540664254" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540668365" Paper_ID="/203146.html" Extracted="3540668365" DDC="005" Normalized_DDC="005" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540712089" Paper_ID="/203146.html" Extracted="3540712089" />
<identifier Org="ISBN:3540734198" Paper_ID="/203146.html" Extracted="3540734198" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540754539" Paper_ID="/203146.html" Extracted="3540754539" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540756973" Paper_ID="/203146.html" Extracted="3540756973" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:354085360X" Paper_ID="/203146.html" Extracted="354085360X" DDC="681" Normalized_DDC="681" Normalized_Weight="0.05555555555555555" />
</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.05555555555555555" />
<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.05555555555555555" />
<identifier Org="ISBN:3540222650" Paper_ID="/96767.html" Extracted="3540222650" DDC="519.22" Normalized_DDC="51922" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:354022906X" Paper_ID="/96767.html" Extracted="354022906X" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:354022940X" Paper_ID="/96767.html" Extracted="354022940X" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540253882" Paper_ID="/96767.html" Extracted="3540253882" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:354028060X" Paper_ID="/96767.html" Extracted="354028060X" DDC="004.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540416951" Paper_ID="/96767.html" Extracted="3540416951" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540434194" Paper_ID="/96767.html" Extracted="3540434194" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540436316" Paper_ID="/96767.html" Extracted="3540436316" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540441654" Paper_ID="/96767.html" Extracted="3540441654" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:354062600X" Paper_ID="/96767.html" Extracted="354062600X" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.05555555555555555" />
<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.05555555555555555" />
<identifier Org="ISBN:3540664084" Paper_ID="/96767.html" Extracted="3540664084" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540664254" Paper_ID="/96767.html" Extracted="3540664254" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540677704" Paper_ID="/96767.html" Extracted="3540677704" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540678972" Paper_ID="/96767.html" Extracted="3540678972" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:354073550X" Paper_ID="/96767.html" Extracted="354073550X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05555555555555555" />
</rec>
<rec ID="/53632.html" Type="article" CiteSeer_Book="Theoretical Computer Science" CiteSeer_Volume="126" Title="A theory of timed automata,">
<identifier Org="ISBN:1586035703" Paper_ID="/53632.html" Extracted="1586035703" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1852338954" Paper_ID="/53632.html" Extracted="1852338954" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540222618" Paper_ID="/53632.html" Extracted="3540222618" DDC="511.3/5" Normalized_DDC="51135" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540222650" Paper_ID="/53632.html" Extracted="3540222650" DDC="519.22" Normalized_DDC="51922" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540230688" Paper_ID="/53632.html" Extracted="3540230688" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540265465" Paper_ID="/53632.html" Extracted="3540265465" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540424873" Paper_ID="/53632.html" Extracted="3540424873" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540424970" Paper_ID="/53632.html" Extracted="3540424970" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540583297" Paper_ID="/53632.html" Extracted="3540583297" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540600841" Paper_ID="/53632.html" Extracted="3540600841" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540662243" Paper_ID="/53632.html" Extracted="3540662243" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540664254" Paper_ID="/53632.html" Extracted="3540664254" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540668365" Paper_ID="/53632.html" Extracted="3540668365" DDC="005" Normalized_DDC="005" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540677151" Paper_ID="/53632.html" Extracted="3540677151" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540694056" Paper_ID="/53632.html" Extracted="3540694056" />
<identifier Org="ISBN:3540712089" Paper_ID="/53632.html" Extracted="3540712089" />
<identifier Org="ISBN:3540713891" Paper_ID="/53632.html" Extracted="3540713891" DDC="005.12" Normalized_DDC="00512" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540754539" Paper_ID="/53632.html" Extracted="3540754539" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540958908" Paper_ID="/53632.html" Extracted="3540958908" />
</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="/70445.html" Type="inproceedings" CiteSeer_Book="Fifth Annual IEEE Symposium on Logic in Computer Science" CiteSeer_Volume="" Title="{R}eal-{T}ime {L}ogics: {C}omplexity and {E}xpressiveness," />
<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="/335301.html" Type="inproceedings" CiteSeer_Book="SPIN" CiteSeer_Volume="" Title="Bebop: A Symbolic Model Checker for Boolean Programs,">
<identifier Org="ISBN:3540210024" Paper_ID="/335301.html" Extracted="3540210024" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540213775" Paper_ID="/335301.html" Extracted="3540213775" DDC="004.0151" Normalized_DDC="0040151" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540223819" Paper_ID="/335301.html" Extracted="3540223819" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540238417" Paper_ID="/335301.html" Extracted="3540238417" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540253335" Paper_ID="/335301.html" Extracted="3540253335" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540254358" Paper_ID="/335301.html" Extracted="3540254358" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540272313" Paper_ID="/335301.html" Extracted="3540272313" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540281959" Paper_ID="/335301.html" Extracted="3540281959" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540311394" Paper_ID="/335301.html" Extracted="3540311394" DDC="005.14" Normalized_DDC="00514" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540401172" Paper_ID="/335301.html" Extracted="3540401172" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540410309" Paper_ID="/335301.html" Extracted="3540410309" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540424970" Paper_ID="/335301.html" Extracted="3540424970" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540730656" Paper_ID="/335301.html" Extracted="3540730656" />
<identifier Org="ISBN:3540732098" Paper_ID="/335301.html" Extracted="3540732098" DDC="004.01/51" Normalized_DDC="0040151" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540733671" Paper_ID="/335301.html" Extracted="3540733671" />
<identifier Org="ISBN:3540733698" Paper_ID="/335301.html" Extracted="3540733698" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540770496" Paper_ID="/335301.html" Extracted="3540770496" />
<identifier Org="ISBN:3540779647" Paper_ID="/335301.html" Extracted="3540779647" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354088386X" Paper_ID="/335301.html" Extracted="354088386X" />
</rec>
<rec ID="/708954.html" Type="inproceedings" CiteSeer_Book="International Conference on Concurrency Theory" CiteSeer_Volume="" Title="Reachability Analysis of Pushdown Automata: Application to Model-Checking,">
<identifier Org="ISBN:1586035703" Paper_ID="/708954.html" Extracted="1586035703" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540000100" Paper_ID="/708954.html" Extracted="3540000100" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540004009" Paper_ID="/708954.html" Extracted="3540004009" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540240586" Paper_ID="/708954.html" Extracted="3540240586" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540242880" Paper_ID="/708954.html" Extracted="3540242880" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540304959" Paper_ID="/708954.html" Extracted="3540304959" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540311394" Paper_ID="/708954.html" Extracted="3540311394" DDC="005.14" Normalized_DDC="00514" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540422870" Paper_ID="/708954.html" Extracted="3540422870" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540430024" Paper_ID="/708954.html" Extracted="3540430024" DDC="005" Normalized_DDC="005" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540434194" Paper_ID="/708954.html" Extracted="3540434194" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540438645" Paper_ID="/708954.html" Extracted="3540438645" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540442359" Paper_ID="/708954.html" Extracted="3540442359" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540631410" Paper_ID="/708954.html" Extracted="3540631410" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540676686" Paper_ID="/708954.html" Extracted="3540676686" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540678972" Paper_ID="/708954.html" Extracted="3540678972" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540713891" Paper_ID="/708954.html" Extracted="3540713891" DDC="005.12" Normalized_DDC="00512" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540740600" Paper_ID="/708954.html" Extracted="3540740600" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540857796" Paper_ID="/708954.html" Extracted="3540857796" />
<identifier Org="ISBN:354088386X" Paper_ID="/708954.html" Extracted="354088386X" />
<identifier Org="ISBN:3642026516" Paper_ID="/708954.html" Extracted="3642026516" />
</rec>
<rec ID="/464834.html" Type="inproceedings" CiteSeer_Book="Proc 10th International Conference on Computer Aided Verification Vancouver Canada" CiteSeer_Volume="" Title="Kronos: {A} Model-Checking Tool for Real-Time Systems,">
<identifier Org="ISBN:0080441688" Paper_ID="/464834.html" Extracted="0080441688" DDC="003.83" Normalized_DDC="00383" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0792374703" Paper_ID="/464834.html" Extracted="0792374703" DDC="004.36" Normalized_DDC="00436" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:1852337281" Paper_ID="/464834.html" Extracted="1852337281" DDC="004.019" Normalized_DDC="004019" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540003487" Paper_ID="/464834.html" Extracted="3540003487" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540008985" Paper_ID="/464834.html" Extracted="3540008985" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540236104" Paper_ID="/464834.html" Extracted="3540236104" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540253882" Paper_ID="/464834.html" Extracted="3540253882" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540287019" Paper_ID="/464834.html" Extracted="3540287019" DDC="004.2" Normalized_DDC="0042" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540418660" Paper_ID="/464834.html" Extracted="3540418660" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540422153" Paper_ID="/464834.html" Extracted="3540422153" DDC="005.1/028" Normalized_DDC="0051028" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540422528" Paper_ID="/464834.html" Extracted="3540422528" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540441654" Paper_ID="/464834.html" Extracted="3540441654" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540646086" Paper_ID="/464834.html" Extracted="3540646086" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540660100" Paper_ID="/464834.html" Extracted="3540660100" />
<identifier Org="ISBN:3540678972" Paper_ID="/464834.html" Extracted="3540678972" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540731954" Paper_ID="/464834.html" Extracted="3540731954" DDC="004.6/2" Normalized_DDC="00462" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354073550X" Paper_ID="/464834.html" Extracted="354073550X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540754539" Paper_ID="/464834.html" Extracted="3540754539" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.058823529411764705" />
</rec>
<rec ID="/464746.html" Type="inproceedings" CiteSeer_Book="Proc of 10th International Colloquium on Automata Languages and Programming Aalborg" CiteSeer_Volume="" Title="On the Expressiveness of Real and Integer Arithmetic Automata,">
<identifier Org="ISBN:0387987290" Paper_ID="/464746.html" Extracted="0387987290" DDC="005.75" Normalized_DDC="00575" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:1586035703" Paper_ID="/464746.html" Extracted="1586035703" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540002960" Paper_ID="/464746.html" Extracted="3540002960" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540278729" Paper_ID="/464746.html" Extracted="3540278729" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540405240" Paper_ID="/464746.html" Extracted="3540405240" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540422544" Paper_ID="/464746.html" Extracted="3540422544" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540423451" Paper_ID="/464746.html" Extracted="3540423451" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540439285" Paper_ID="/464746.html" Extracted="3540439285" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540439307" Paper_ID="/464746.html" Extracted="3540439307" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540646086" Paper_ID="/464746.html" Extracted="3540646086" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540647813" Paper_ID="/464746.html" Extracted="3540647813" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540661514" Paper_ID="/464746.html" Extracted="3540661514" DDC="005.75" Normalized_DDC="00575" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540672826" Paper_ID="/464746.html" Extracted="3540672826" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540691634" Paper_ID="/464746.html" Extracted="3540691634" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:354070843X" Paper_ID="/464746.html" Extracted="354070843X" />
<identifier Org="ISBN:3642029582" Paper_ID="/464746.html" Extracted="3642029582" />
</rec>
<rec ID="/391336.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="Multipushdown languages and grammars,">
<identifier Org="ISBN:3540005323" Paper_ID="/391336.html" Extracted="3540005323" DDC="005" Normalized_DDC="005" Normalized_Weight="0.5" />
<identifier Org="ISBN:3540405615" Paper_ID="/391336.html" Extracted="3540405615" DDC="004" Normalized_DDC="004" Normalized_Weight="0.5" />
<identifier Org="ISBN:3642009816" Paper_ID="/391336.html" Extracted="3642009816" />
</rec>
<rec ID="/314966.html" Type="techreport" CiteSeer_Book="" CiteSeer_Volume="" Title="Specification of Realtime Systems Using {ASTRAL},">
<identifier Org="ISBN:0471184063" Paper_ID="/314966.html" Extracted="0471184063" DDC="658.4038" Normalized_DDC="6584038" Normalized_Weight="0.2" />
<identifier Org="ISBN:0780399269" Paper_ID="/314966.html" Extracted="0780399269" />
<identifier Org="ISBN:0818680024" Paper_ID="/314966.html" Extracted="0818680024" DDC="620/.0028" Normalized_DDC="6200028" Normalized_Weight="0.2" />
<identifier Org="ISBN:0818680733" Paper_ID="/314966.html" Extracted="0818680733" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.2" />
<identifier Org="ISBN:0818682558" Paper_ID="/314966.html" Extracted="0818682558" />
<identifier Org="ISBN:0824722914" Paper_ID="/314966.html" Extracted="0824722914" />
<identifier Org="ISBN:3540660100" Paper_ID="/314966.html" Extracted="3540660100" />
<identifier Org="ISBN:3540672613" Paper_ID="/314966.html" Extracted="3540672613" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.2" />
<identifier Org="ISBN:8871922042" Paper_ID="/314966.html" Extracted="8871922042" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.2" />
</rec>
<rec ID="/383194.html" Type="inproceedings" CiteSeer_Book="Proc 10th Int Conf Computer Aided Verification CAV98 Vancouver BC Canada JuneJuly 1998" CiteSeer_Volume="" Title="Multiple counters automata, safety analysis and {Presburger} arithmetic,">
<identifier Org="ISBN:3540001425" Paper_ID="/383194.html" Extracted="3540001425" DDC="004.015118" Normalized_DDC="004015118" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:354022940X" Paper_ID="/383194.html" Extracted="354022940X" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540240586" Paper_ID="/383194.html" Extracted="3540240586" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:354029189X" Paper_ID="/383194.html" Extracted="354029189X" DDC="004.6/2" Normalized_DDC="00462" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540405240" Paper_ID="/383194.html" Extracted="3540405240" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540405348" Paper_ID="/383194.html" Extracted="3540405348" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540424911" Paper_ID="/383194.html" Extracted="3540424911" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540430024" Paper_ID="/383194.html" Extracted="3540430024" DDC="005" Normalized_DDC="005" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540440437" Paper_ID="/383194.html" Extracted="3540440437" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540664254" Paper_ID="/383194.html" Extracted="3540664254" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540671412" Paper_ID="/383194.html" Extracted="3540671412" DDC="004.01511" Normalized_DDC="00401511" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540677704" Paper_ID="/383194.html" Extracted="3540677704" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540678972" Paper_ID="/383194.html" Extracted="3540678972" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540679014" Paper_ID="/383194.html" Extracted="3540679014" DDC="004.0151" Normalized_DDC="0040151" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540697357" Paper_ID="/383194.html" Extracted="3540697357" DDC="005.14" Normalized_DDC="00514" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540733671" Paper_ID="/383194.html" Extracted="3540733671" />
<identifier Org="ISBN:3540740600" Paper_ID="/383194.html" Extracted="3540740600" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540755950" Paper_ID="/383194.html" Extracted="3540755950" DDC="511.3/6028563" Normalized_DDC="51136028563" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540784977" Paper_ID="/383194.html" Extracted="3540784977" DDC="003" Normalized_DDC="003" Normalized_Weight="0.05555555555555555" />
</rec>
<rec ID="/214520.html" Type="inproceedings" CiteSeer_Book="Proc 10th Int Conf Concurrency Theory CONCUR99 Eindhoven The Netherlands Aug 1999" CiteSeer_Volume="" Title="Timed automata and the theory of real numbers,">
<identifier Org="ISBN:0471184063" Paper_ID="/214520.html" Extracted="0471184063" DDC="658.4038" Normalized_DDC="6584038" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:1586035703" Paper_ID="/214520.html" Extracted="1586035703" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540001425" Paper_ID="/214520.html" Extracted="3540001425" DDC="004.015118" Normalized_DDC="004015118" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540004009" Paper_ID="/214520.html" Extracted="3540004009" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540292098" Paper_ID="/214520.html" Extracted="3540292098" DDC="620.00420285" Normalized_DDC="62000420285" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540304959" Paper_ID="/214520.html" Extracted="3540304959" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540309462" Paper_ID="/214520.html" Extracted="3540309462" DDC="003/.3" Normalized_DDC="0033" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540405240" Paper_ID="/214520.html" Extracted="3540405240" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540405348" Paper_ID="/214520.html" Extracted="3540405348" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540416951" Paper_ID="/214520.html" Extracted="3540416951" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540419500" Paper_ID="/214520.html" Extracted="3540419500" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540423451" Paper_ID="/214520.html" Extracted="3540423451" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540429859" Paper_ID="/214520.html" Extracted="3540429859" DDC="004.015118" Normalized_DDC="004015118" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540430024" Paper_ID="/214520.html" Extracted="3540430024" DDC="005" Normalized_DDC="005" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540664254" Paper_ID="/214520.html" Extracted="3540664254" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540677151" Paper_ID="/214520.html" Extracted="3540677151" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540677704" Paper_ID="/214520.html" Extracted="3540677704" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540678972" Paper_ID="/214520.html" Extracted="3540678972" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540713891" Paper_ID="/214520.html" Extracted="3540713891" DDC="005.12" Normalized_DDC="00512" Normalized_Weight="0.05263157894736842" />
</rec>
<rec ID="/424316.html" Type="article" CiteSeer_Book="Lecture Notes in Computer Science" CiteSeer_Volume="2102" Title="Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks,">
<identifier Org="ISBN:0471184063" Paper_ID="/424316.html" Extracted="0471184063" DDC="658.4038" Normalized_DDC="6584038" Normalized_Weight="0.2" />
<identifier Org="ISBN:1586035703" Paper_ID="/424316.html" Extracted="1586035703" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540405348" Paper_ID="/424316.html" Extracted="3540405348" DDC="004" Normalized_DDC="004" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540405615" Paper_ID="/424316.html" Extracted="3540405615" DDC="004" Normalized_DDC="004" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540423451" Paper_ID="/424316.html" Extracted="3540423451" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.2" />
</rec>
<rec ID="/293379.html" Type="inproceedings" CiteSeer_Book="Computer Aided Verification" CiteSeer_Volume="" Title="Binary Reachability Analysis of Discrete Pushdown Timed Automata,">
<identifier Org="ISBN:3540240586" Paper_ID="/293379.html" Extracted="3540240586" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540241310" Paper_ID="/293379.html" Extracted="3540241310" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540265465" Paper_ID="/293379.html" Extracted="3540265465" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540291075" Paper_ID="/293379.html" Extracted="3540291075" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540404317" Paper_ID="/293379.html" Extracted="3540404317" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540405240" Paper_ID="/293379.html" Extracted="3540405240" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540405348" Paper_ID="/293379.html" Extracted="3540405348" DDC="004" Normalized_DDC="004" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540405615" Paper_ID="/293379.html" Extracted="3540405615" DDC="004" Normalized_DDC="004" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540416951" Paper_ID="/293379.html" Extracted="3540416951" DDC="004" Normalized_DDC="004" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540423451" Paper_ID="/293379.html" Extracted="3540423451" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540429859" Paper_ID="/293379.html" Extracted="3540429859" DDC="004.015118" Normalized_DDC="004015118" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540430024" Paper_ID="/293379.html" Extracted="3540430024" DDC="005" Normalized_DDC="005" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540677704" Paper_ID="/293379.html" Extracted="3540677704" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540678972" Paper_ID="/293379.html" Extracted="3540678972" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540679014" Paper_ID="/293379.html" Extracted="3540679014" DDC="004.0151" Normalized_DDC="0040151" Normalized_Weight="0.06666666666666667" />
</rec>
<rec ID="/443932.html" Type="article" CiteSeer_Book="Lecture Notes in Computer Science" CiteSeer_Volume="2108" Title="Decidable Approximations on Generalized and Parameterized Discrete Timed Automata,">
<identifier Org="ISBN:3540001425" Paper_ID="/443932.html" Extracted="3540001425" DDC="004.015118" Normalized_DDC="004015118" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540404317" Paper_ID="/443932.html" Extracted="3540404317" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540423451" Paper_ID="/443932.html" Extracted="3540423451" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540424946" Paper_ID="/443932.html" Extracted="3540424946" DDC="004" Normalized_DDC="004" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540430024" Paper_ID="/443932.html" Extracted="3540430024" DDC="005" Normalized_DDC="005" Normalized_Weight="0.2" />
<identifier Org="ISBN:8020006338" Paper_ID="/443932.html" Extracted="8020006338" />
</rec>
<rec ID="/437778.html" Type="article" CiteSeer_Book="Lecture Notes in Computer Science" CiteSeer_Volume="2010" Title="On {Presburger} Liveness of Discrete Timed Automata,">
<identifier Org="ISBN:3540405240" Paper_ID="/437778.html" Extracted="3540405240" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540405615" Paper_ID="/437778.html" Extracted="3540405615" DDC="004" Normalized_DDC="004" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540416951" Paper_ID="/437778.html" Extracted="3540416951" DDC="004" Normalized_DDC="004" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540423451" Paper_ID="/437778.html" Extracted="3540423451" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540424946" Paper_ID="/437778.html" Extracted="3540424946" DDC="004" Normalized_DDC="004" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540429859" Paper_ID="/437778.html" Extracted="3540429859" DDC="004.015118" Normalized_DDC="004015118" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540430024" Paper_ID="/437778.html" Extracted="3540430024" DDC="005" Normalized_DDC="005" Normalized_Weight="0.14285714285714285" />
</rec>
<rec ID="/452262.html" Type="article" CiteSeer_Book="Lecture Notes in Computer Science" CiteSeer_Volume="2102" Title="A {BDD}-Based Model Checker for Recursive Programs,">
<identifier Org="ISBN:1402081405" Paper_ID="/452262.html" Extracted="1402081405" DDC="004.01" Normalized_DDC="00401" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1586038435" Paper_ID="/452262.html" Extracted="1586038435" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540201750" Paper_ID="/452262.html" Extracted="3540201750" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540213775" Paper_ID="/452262.html" Extracted="3540213775" DDC="004.0151" Normalized_DDC="0040151" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540223819" Paper_ID="/452262.html" Extracted="3540223819" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354022940X" Paper_ID="/452262.html" Extracted="354022940X" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540240756" Paper_ID="/452262.html" Extracted="3540240756" DDC="004.6/78" Normalized_DDC="004678" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540253335" Paper_ID="/452262.html" Extracted="3540253335" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540272313" Paper_ID="/452262.html" Extracted="3540272313" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540281959" Paper_ID="/452262.html" Extracted="3540281959" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540311394" Paper_ID="/452262.html" Extracted="3540311394" DDC="005.14" Normalized_DDC="00514" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540422870" Paper_ID="/452262.html" Extracted="3540422870" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540423451" Paper_ID="/452262.html" Extracted="3540423451" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540434534" Paper_ID="/452262.html" Extracted="3540434534" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540440437" Paper_ID="/452262.html" Extracted="3540440437" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540740600" Paper_ID="/452262.html" Extracted="3540740600" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540851135" Paper_ID="/452262.html" Extracted="3540851135" />
<identifier Org="ISBN:354088386X" Paper_ID="/452262.html" Extracted="354088386X" />
<identifier Org="ISBN:3642029787" Paper_ID="/452262.html" Extracted="3642029787" />
</rec>
<rec ID="/538430.html" Type="inproceedings" CiteSeer_Book="Proc 2nd Int Workshop on Verification of Infinite State Systems INFINITY97 Bologna Italy July 1112 1997" CiteSeer_Volume="" Title="A direct symbolic approach to model checking pushdown systems,">
<identifier Org="ISBN:1586035703" Paper_ID="/538430.html" Extracted="1586035703" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1586038435" Paper_ID="/538430.html" Extracted="1586038435" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540201750" Paper_ID="/538430.html" Extracted="3540201750" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540253335" Paper_ID="/538430.html" Extracted="3540253335" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540297359" Paper_ID="/538430.html" Extracted="3540297359" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540311394" Paper_ID="/538430.html" Extracted="3540311394" DDC="005.14" Normalized_DDC="00514" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540410309" Paper_ID="/538430.html" Extracted="3540410309" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540422870" Paper_ID="/538430.html" Extracted="3540422870" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540424911" Paper_ID="/538430.html" Extracted="3540424911" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540429859" Paper_ID="/538430.html" Extracted="3540429859" DDC="004.015118" Normalized_DDC="004015118" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540430024" Paper_ID="/538430.html" Extracted="3540430024" DDC="005" Normalized_DDC="005" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540648968" Paper_ID="/538430.html" Extracted="3540648968" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540676686" Paper_ID="/538430.html" Extracted="3540676686" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540677704" Paper_ID="/538430.html" Extracted="3540677704" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540678972" Paper_ID="/538430.html" Extracted="3540678972" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540691472" Paper_ID="/538430.html" Extracted="3540691472" />
<identifier Org="ISBN:3540733671" Paper_ID="/538430.html" Extracted="3540733671" />
<identifier Org="ISBN:3540770496" Paper_ID="/538430.html" Extracted="3540770496" />
<identifier Org="ISBN:3540779647" Paper_ID="/538430.html" Extracted="3540779647" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3642026516" Paper_ID="/538430.html" Extracted="3642026516" />
</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="/58381.html" Type="inproceedings" CiteSeer_Book="Hybrid Systems" CiteSeer_Volume="" Title="{HYTECH}: The Cornell {HYbrid} {TECHnology} Tool,">
<identifier Org="ISBN:0769504590" Paper_ID="/58381.html" Extracted="0769504590" />
<identifier Org="ISBN:0780331990" Paper_ID="/58381.html" Extracted="0780331990" DDC="001.64404" Normalized_DDC="00164404" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0780332148" Paper_ID="/58381.html" Extracted="0780332148" DDC="629.8/92" Normalized_DDC="629892" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0780356667" Paper_ID="/58381.html" Extracted="0780356667" DDC="006.33" Normalized_DDC="00633" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0818674482" Paper_ID="/58381.html" Extracted="0818674482" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540004009" Paper_ID="/58381.html" Extracted="3540004009" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540216715" Paper_ID="/58381.html" Extracted="3540216715" DDC="004.33" Normalized_DDC="00433" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540222367" Paper_ID="/58381.html" Extracted="3540222367" DDC="511.3/5" Normalized_DDC="51135" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540412190" Paper_ID="/58381.html" Extracted="3540412190" DDC="621.39/2" Normalized_DDC="621392" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540416951" Paper_ID="/58381.html" Extracted="3540416951" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540441654" Paper_ID="/58381.html" Extracted="3540441654" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:354062600X" Paper_ID="/58381.html" Extracted="354062600X" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540633790" Paper_ID="/58381.html" Extracted="3540633790" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540643583" Paper_ID="/58381.html" Extracted="3540643583" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540648968" Paper_ID="/58381.html" Extracted="3540648968" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540661328" Paper_ID="/58381.html" Extracted="3540661328" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540664882" Paper_ID="/58381.html" Extracted="3540664882" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540672826" Paper_ID="/58381.html" Extracted="3540672826" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540676287" Paper_ID="/58381.html" Extracted="3540676287" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540733671" Paper_ID="/58381.html" Extracted="3540733671" />
</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="/26476.html" Type="article" CiteSeer_Book="International Journal on Software Tools for Technology Transfer" CiteSeer_Volume="1" Title="{UPPAAL} in a Nutshell,">
<identifier Org="ISBN:1402081480" Paper_ID="/26476.html" Extracted="1402081480" DDC="004.256" Normalized_DDC="004256" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:1402081529" Paper_ID="/26476.html" Extracted="1402081529" DDC="620.86" Normalized_DDC="62086" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:1586030132" Paper_ID="/26476.html" Extracted="1586030132" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540212191" Paper_ID="/26476.html" Extracted="3540212191" DDC="621.382" Normalized_DDC="621382" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540212590" Paper_ID="/26476.html" Extracted="3540212590" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540213775" Paper_ID="/26476.html" Extracted="3540213775" DDC="004.0151" Normalized_DDC="0040151" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540216715" Paper_ID="/26476.html" Extracted="3540216715" DDC="004.33" Normalized_DDC="00433" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540222618" Paper_ID="/26476.html" Extracted="3540222618" DDC="511.3/5" Normalized_DDC="51135" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540231358" Paper_ID="/26476.html" Extracted="3540231358" DDC="005.10943" Normalized_DDC="00510943" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540236104" Paper_ID="/26476.html" Extracted="3540236104" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:354025109X" Paper_ID="/26476.html" Extracted="354025109X" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540281959" Paper_ID="/26476.html" Extracted="3540281959" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540291318" Paper_ID="/26476.html" Extracted="3540291318" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540424970" Paper_ID="/26476.html" Extracted="3540424970" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540433538" Paper_ID="/26476.html" Extracted="3540433538" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540434194" Paper_ID="/26476.html" Extracted="3540434194" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540441654" Paper_ID="/26476.html" Extracted="3540441654" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540677704" Paper_ID="/26476.html" Extracted="3540677704" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540756973" Paper_ID="/26476.html" Extracted="3540756973" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540874046" Paper_ID="/26476.html" Extracted="3540874046" />
</rec>
<rec ID="/449353.html" Type="article" CiteSeer_Book="Lecture Notes in Computer Science" CiteSeer_Volume="2102" Title="As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata,">
<identifier Org="ISBN:0471184063" Paper_ID="/449353.html" Extracted="0471184063" DDC="658.4038" Normalized_DDC="6584038" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0521875463" Paper_ID="/449353.html" Extracted="0521875463" DDC="006.330151" Normalized_DDC="006330151" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:1402071817" Paper_ID="/449353.html" Extracted="1402071817" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540202234" Paper_ID="/449353.html" Extracted="3540202234" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540212590" Paper_ID="/449353.html" Extracted="3540212590" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354021299X" Paper_ID="/449353.html" Extracted="354021299X" DDC="005.1/2" Normalized_DDC="00512" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540216715" Paper_ID="/449353.html" Extracted="3540216715" DDC="004.33" Normalized_DDC="00433" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540228497" Paper_ID="/449353.html" Extracted="3540228497" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540236104" Paper_ID="/449353.html" Extracted="3540236104" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540240586" Paper_ID="/449353.html" Extracted="3540240586" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540253882" Paper_ID="/449353.html" Extracted="3540253882" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540291318" Paper_ID="/449353.html" Extracted="3540291318" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540401172" Paper_ID="/449353.html" Extracted="3540401172" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540405240" Paper_ID="/449353.html" Extracted="3540405240" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540423451" Paper_ID="/449353.html" Extracted="3540423451" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540427872" Paper_ID="/449353.html" Extracted="3540427872" DDC="004/.358" Normalized_DDC="004358" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540741275" Paper_ID="/449353.html" Extracted="3540741275" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354085777X" Paper_ID="/449353.html" Extracted="354085777X" />
<identifier Org="ISBN:3642005950" Paper_ID="/449353.html" Extracted="3642005950" />
</rec>
<rec ID="/258935.html" Type="inproceedings" CiteSeer_Book="Proc 20th Int Symp Math Found Comp Sci MFCS95 Prague Czech Republic AugSep 1995" CiteSeer_Volume="" Title="From Timed Automata to Logic - And Back,">
<identifier Org="ISBN:0769510868" Paper_ID="/258935.html" Extracted="0769510868" DDC="620/.001/171" Normalized_DDC="620001171" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0780331990" Paper_ID="/258935.html" Extracted="0780331990" DDC="001.64404" Normalized_DDC="00164404" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540205365" Paper_ID="/258935.html" Extracted="3540205365" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540213775" Paper_ID="/258935.html" Extracted="3540213775" DDC="004.0151" Normalized_DDC="0040151" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540253882" Paper_ID="/258935.html" Extracted="3540253882" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540416951" Paper_ID="/258935.html" Extracted="3540416951" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540424873" Paper_ID="/258935.html" Extracted="3540424873" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540425225" Paper_ID="/258935.html" Extracted="3540425225" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540440437" Paper_ID="/258935.html" Extracted="3540440437" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540441654" Paper_ID="/258935.html" Extracted="3540441654" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540602496" Paper_ID="/258935.html" Extracted="3540602496" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540627812" Paper_ID="/258935.html" Extracted="3540627812" DDC="005.1/2" Normalized_DDC="00512" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540664084" Paper_ID="/258935.html" Extracted="3540664084" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540664254" Paper_ID="/258935.html" Extracted="3540664254" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540754539" Paper_ID="/258935.html" Extracted="3540754539" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540755950" Paper_ID="/258935.html" Extracted="3540755950" DDC="511.3/6028563" Normalized_DDC="51136028563" Normalized_Weight="0.0625" />
</rec>
<rec ID="/1164.html" Type="inproceedings" CiteSeer_Book="HART" CiteSeer_Volume="" Title="State Clock Logic: A Decidable Real-Time Logic,">
<identifier Org="ISBN:0817632395" Paper_ID="/1164.html" Extracted="0817632395" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540004009" Paper_ID="/1164.html" Extracted="3540004009" DDC="004" Normalized_DDC="004" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540212981" Paper_ID="/1164.html" Extracted="3540212981" DDC="005" Normalized_DDC="005" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540410554" Paper_ID="/1164.html" Extracted="3540410554" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540423451" Paper_ID="/1164.html" Extracted="3540423451" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540424946" Paper_ID="/1164.html" Extracted="3540424946" DDC="004" Normalized_DDC="004" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:354062600X" Paper_ID="/1164.html" Extracted="354062600X" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540647813" Paper_ID="/1164.html" Extracted="3540647813" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540648968" Paper_ID="/1164.html" Extracted="3540648968" DDC="004" Normalized_DDC="004" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540664122" Paper_ID="/1164.html" Extracted="3540664122" DDC="004" Normalized_DDC="004" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540668365" Paper_ID="/1164.html" Extracted="3540668365" DDC="005" Normalized_DDC="005" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:354085777X" Paper_ID="/1164.html" Extracted="354085777X" />
<identifier Org="ISBN:3642027369" Paper_ID="/1164.html" Extracted="3642027369" />
</rec>
<rec ID="/138185.html" Type="inproceedings" CiteSeer_Book="Formal Techniques in RealTime and FaultTolerant Systems" CiteSeer_Volume="" Title="{S}pecifying {T}imed {S}tate {S}equences in {P}owerful {D}ecidable {L}ogics and {T}imed {A}utomata," />
<rec ID="/26913.html" Type="inproceedings" CiteSeer_Book="European Educational Forum School on Embedded Systems" CiteSeer_Volume="" Title="Model Checking Timed Automata,">
<identifier Org="ISBN:1402062532" Paper_ID="/26913.html" Extracted="1402062532" />
<identifier Org="ISBN:3540222650" Paper_ID="/26913.html" Extracted="3540222650" DDC="519.22" Normalized_DDC="51922" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:354022940X" Paper_ID="/26913.html" Extracted="354022940X" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:354029189X" Paper_ID="/26913.html" Extracted="354029189X" DDC="004.6/2" Normalized_DDC="00462" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540292098" Paper_ID="/26913.html" Extracted="3540292098" DDC="620.00420285" Normalized_DDC="62000420285" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540405240" Paper_ID="/26913.html" Extracted="3540405240" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540416951" Paper_ID="/26913.html" Extracted="3540416951" DDC="004" Normalized_DDC="004" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540651934" Paper_ID="/26913.html" Extracted="3540651934" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540677704" Paper_ID="/26913.html" Extracted="3540677704" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540713891" Paper_ID="/26913.html" Extracted="3540713891" DDC="005.12" Normalized_DDC="00512" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540727329" Paper_ID="/26913.html" Extracted="3540727329" />
<identifier Org="ISBN:3540754539" Paper_ID="/26913.html" Extracted="3540754539" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540770496" Paper_ID="/26913.html" Extracted="3540770496" />
<identifier Org="ISBN:3540787992" Paper_ID="/26913.html" Extracted="3540787992" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:354085777X" Paper_ID="/26913.html" Extracted="354085777X" />
<identifier Org="ISBN:364200430X" Paper_ID="/26913.html" Extracted="364200430X" />
<identifier Org="ISBN:3642029299" Paper_ID="/26913.html" Extracted="3642029299" />
</rec>
<rec ID="SELF" Type="SELF" CiteSeer_Book="SELF" CiteSeer_Volume="SELF" Title="Pushdown Timed Automata: a Binary Reachability Characterization and Safety Verification">
<identifier Org="ISBN:0735400989" Paper_ID="SELF" Extracted="0735400989" DDC="536.7" Normalized_DDC="5367" Normalized_Weight="1.0" />
</rec>
</references_metadata>