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

Graph

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

www.000webhost.com