Automatically assigned DDC number: 00421

Manually assigned DDC number: 005131

Number of references: 16

Title: IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems

Author:

Author:

Author:

Author:

Author:

Subject: Marius Bozga,Jean-claude Fernandez,Lucian Ghirvu,Susanne Graf,Jean-pierre Krimm IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems

Description: . Formal Description Techniques (fdt), such as lotos or sdl are at the base of a technology for the specification and the validation of telecommunication systems. Due to the availability of commercial tools, these formalisms are now being widely used in the industrial community. Alternatively, a number of quite efficient verification tools have been developed by the research community. But, most of these tools are based on simple adhoc formalisms and the gap between them and real fdt restricts their use at industrial scale. This context motivated the development of an intermediate representation called if which is presented in the paper. if has a simple syntactic structure, but allows to express in a convenient way most useful concepts needed for the specification of timed asynchronous systems. The benefits of using if are multiples. First, it is general enough to handle significant subsets of most fdt, and in particular a translation from sdl to if is already implemented. ...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 2000-03-09

Pubyear: 1999

Format: ps

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

Source: http://www-verimag.imag.fr//DIST_SYS/IF/Bozga-Fernandez-Ghirvu-99c.ps.gz

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

<?xml   version="1.0"   encoding="UTF-8"?>

<references_metadata>

      <rec   ID="/96767.html"   Type="article"   CiteSeer_Book="Information   and   Computation"   CiteSeer_Volume="104"   Title="Model-Checking   in   Dense   Real-time,">

            <identifier   Org="ISBN:0471184063"   Paper_ID="/96767.html"   Extracted="0471184063"   DDC="658.4038"   Normalized_DDC="6584038"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0769503063"   Paper_ID="/96767.html"   Extracted="0769503063"   />

            <identifier   Org="ISBN:354022940X"   Paper_ID="/96767.html"   Extracted="354022940X"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.06666666666666667"   />

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

            <identifier   Org="ISBN:354028060X"   Paper_ID="/96767.html"   Extracted="354028060X"   DDC="004.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.06666666666666667"   />

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

            <identifier   Org="ISBN:3540434194"   Paper_ID="/96767.html"   Extracted="3540434194"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540436316"   Paper_ID="/96767.html"   Extracted="3540436316"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540441654"   Paper_ID="/96767.html"   Extracted="3540441654"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:354062600X"   Paper_ID="/96767.html"   Extracted="354062600X"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540650032"   Paper_ID="/96767.html"   Extracted="3540650032"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.06666666666666667"   />

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

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

            <identifier   Org="ISBN:3540664084"   Paper_ID="/96767.html"   Extracted="3540664084"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.06666666666666667"   />

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

            <identifier   Org="ISBN:3540698493"   Paper_ID="/96767.html"   Extracted="3540698493"   />

            <identifier   Org="ISBN:3540712089"   Paper_ID="/96767.html"   Extracted="3540712089"   />

            <identifier   Org="ISBN:354073550X"   Paper_ID="/96767.html"   Extracted="354073550X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

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

      </rec>

      <rec   ID="/327481.html"   Type="inproceedings"   CiteSeer_Book="World   Congress   on   Formal   Methods   1"   CiteSeer_Volume=""   Title="{IF}:   An   Intermediate   Representation   and   Validation   Environment   for   Timed   Asynchronous   Systems,">

            <identifier   Org="ISBN:0387334025"   Paper_ID="/327481.html"   Extracted="0387334025"   />

            <identifier   Org="ISBN:1402079907"   Paper_ID="/327481.html"   Extracted="1402079907"   DDC="621.39/2"   Normalized_DDC="621392"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540000291"   Paper_ID="/327481.html"   Extracted="3540000291"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540001417"   Paper_ID="/327481.html"   Extracted="3540001417"   DDC="004.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540213147"   Paper_ID="/327481.html"   Extracted="3540213147"   DDC="005.14"   Normalized_DDC="00514"   Normalized_Weight="0.05263157894736842"   />

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

            <identifier   Org="ISBN:3540220003"   Paper_ID="/327481.html"   Extracted="3540220003"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540223819"   Paper_ID="/327481.html"   Extracted="3540223819"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540229426"   Paper_ID="/327481.html"   Extracted="3540229426"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540262784"   Paper_ID="/327481.html"   Extracted="3540262784"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540405399"   Paper_ID="/327481.html"   Extracted="3540405399"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540422811"   Paper_ID="/327481.html"   Extracted="3540422811"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540426108"   Paper_ID="/327481.html"   Extracted="3540426108"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540436316"   Paper_ID="/327481.html"   Extracted="3540436316"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.05263157894736842"   />

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

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

            <identifier   Org="ISBN:3540665889"   Paper_ID="/327481.html"   Extracted="3540665889"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05263157894736842"   />

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

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

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

      </rec>

      <rec   ID="/134240.html"   Type="inproceedings"   CiteSeer_Book="ComputerAided   Verification   CAV   98"   CiteSeer_Volume=""   Title="Computing   Abstractions   of   Infinite   State   Systems   Compositionally   and   Automatically,">

            <identifier   Org="ISBN:3540003266"   Paper_ID="/134240.html"   Extracted="3540003266"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05"   />

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

            <identifier   Org="ISBN:3540223819"   Paper_ID="/134240.html"   Extracted="3540223819"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540255591"   Paper_ID="/134240.html"   Extracted="3540255591"   DDC="005.133"   Normalized_DDC="005133"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540405240"   Paper_ID="/134240.html"   Extracted="3540405240"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540408282"   Paper_ID="/134240.html"   Extracted="3540408282"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05"   />

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

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

            <identifier   Org="ISBN:3540646086"   Paper_ID="/134240.html"   Extracted="3540646086"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540650032"   Paper_ID="/134240.html"   Extracted="3540650032"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540657037"   Paper_ID="/134240.html"   Extracted="3540657037"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540658319"   Paper_ID="/134240.html"   Extracted="3540658319"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.05"   />

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

            <identifier   Org="ISBN:3540664998"   Paper_ID="/134240.html"   Extracted="3540664998"   DDC="005.2/76"   Normalized_DDC="005276"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540672818"   Paper_ID="/134240.html"   Extracted="3540672818"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540676287"   Paper_ID="/134240.html"   Extracted="3540676287"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540676686"   Paper_ID="/134240.html"   Extracted="3540676686"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540678395"   Paper_ID="/134240.html"   Extracted="3540678395"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05"   />

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

            <identifier   Org="ISBN:3540679596"   Paper_ID="/134240.html"   Extracted="3540679596"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05"   />

      </rec>

      <rec   ID="/510673.html"   Type="incollection"   CiteSeer_Book="242"   CiteSeer_Volume=""   Title="Discrete   time   process   algebra   and   the   semantics   of   {SDL},">

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

            <identifier   Org="ISBN:0769503063"   Paper_ID="/510673.html"   Extracted="0769503063"   />

            <identifier   Org="ISBN:354043447X"   Paper_ID="/510673.html"   Extracted="354043447X"   DDC="003/.83"   Normalized_DDC="00383"   Normalized_Weight="0.3333333333333333"   />

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

      </rec>

      <rec   ID="/27324.html"   Type="article"   CiteSeer_Book="Formal   Aspects   of   Computing"   CiteSeer_Volume="3"   Title="Towards   a   Formal   Foundation   of   the   Specification   and   Description   Language   {SDL},">

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

            <identifier   Org="ISBN:081868271X"   Paper_ID="/27324.html"   Extracted="081868271X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:1402080514"   Paper_ID="/27324.html"   Extracted="1402080514"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:1584886781"   Paper_ID="/27324.html"   Extracted="1584886781"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:1586033425"   Paper_ID="/27324.html"   Extracted="1586033425"   DDC="620/.00285/5"   Normalized_DDC="620002855"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:354021366X"   Paper_ID="/27324.html"   Extracted="354021366X"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540341285"   Paper_ID="/27324.html"   Extracted="3540341285"   />

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

            <identifier   Org="ISBN:354057316X"   Paper_ID="/27324.html"   Extracted="354057316X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540588671"   Paper_ID="/27324.html"   Extracted="3540588671"   DDC="670.42/7"   Normalized_DDC="670427"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540601058"   Paper_ID="/27324.html"   Extracted="3540601058"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540601171"   Paper_ID="/27324.html"   Extracted="3540601171"   DDC="004.2/0151"   Normalized_DDC="00420151"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540626166"   Paper_ID="/27324.html"   Extracted="3540626166"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:9051993471"   Paper_ID="/27324.html"   Extracted="9051993471"   DDC="384"   Normalized_DDC="384"   Normalized_Weight="0.0625"   />

      </rec>

      <rec   ID="/311874.html"   Type="article"   CiteSeer_Book="ieeetc"   CiteSeer_Volume="C35"   Title="Graph-Based   Algorithms   for   {B}oolean   Function   Manipulation,"   />

      <rec   ID="/25373.html"   Type="article"   CiteSeer_Book="Lecture   Notes   in   Computer   Science"   CiteSeer_Volume="1536"   Title="Modeling   Urgency   in   Timed   Systems,">

            <identifier   Org="ISBN:0792374703"   Paper_ID="/25373.html"   Extracted="0792374703"   DDC="004.36"   Normalized_DDC="00436"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540008772"   Paper_ID="/25373.html"   Extracted="3540008772"   DDC="621.382"   Normalized_DDC="621382"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540213147"   Paper_ID="/25373.html"   Extracted="3540213147"   DDC="005.14"   Normalized_DDC="00514"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540240586"   Paper_ID="/25373.html"   Extracted="3540240586"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.058823529411764705"   />

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

            <identifier   Org="ISBN:3540300260"   Paper_ID="/25373.html"   Extracted="3540300260"   DDC="004.2/2"   Normalized_DDC="00422"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540405399"   Paper_ID="/25373.html"   Extracted="3540405399"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.058823529411764705"   />

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

            <identifier   Org="ISBN:3540422811"   Paper_ID="/25373.html"   Extracted="3540422811"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540643583"   Paper_ID="/25373.html"   Extracted="3540643583"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.058823529411764705"   />

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

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

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

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

            <identifier   Org="ISBN:3540675302"   Paper_ID="/25373.html"   Extracted="3540675302"   DDC="005.1/01/512"   Normalized_DDC="005101512"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540709290"   Paper_ID="/25373.html"   Extracted="3540709290"   />

            <identifier   Org="ISBN:3540754539"   Paper_ID="/25373.html"   Extracted="3540754539"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540775048"   Paper_ID="/25373.html"   Extracted="3540775048"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3642002544"   Paper_ID="/25373.html"   Extracted="3642002544"   />

            <identifier   Org="ISBN:9051994591"   Paper_ID="/25373.html"   Extracted="9051994591"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.058823529411764705"   />

      </rec>

      <rec   ID="/50529.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Eighth   International   Conference   on   Computer   Aided   Verification   CAV"   CiteSeer_Volume=""   Title="{CADP}:   a   protocol   validation   and   verification   toolbox,">

            <identifier   Org="ISBN:0849328241"   Paper_ID="/50529.html"   Extracted="0849328241"   DDC="004.16"   Normalized_DDC="00416"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540000291"   Paper_ID="/50529.html"   Extracted="3540000291"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540008977"   Paper_ID="/50529.html"   Extracted="3540008977"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05263157894736842"   />

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

            <identifier   Org="ISBN:3540208135"   Paper_ID="/50529.html"   Extracted="3540208135"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540223819"   Paper_ID="/50529.html"   Extracted="3540223819"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540281959"   Paper_ID="/50529.html"   Extracted="3540281959"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540309349"   Paper_ID="/50529.html"   Extracted="3540309349"   />

            <identifier   Org="ISBN:3540408282"   Paper_ID="/50529.html"   Extracted="3540408282"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540410309"   Paper_ID="/50529.html"   Extracted="3540410309"   DDC="005.2/76"   Normalized_DDC="005276"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540423451"   Paper_ID="/50529.html"   Extracted="3540423451"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540434100"   Paper_ID="/50529.html"   Extracted="3540434100"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.05263157894736842"   />

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

            <identifier   Org="ISBN:3540440437"   Paper_ID="/50529.html"   Extracted="3540440437"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540627901"   Paper_ID="/50529.html"   Extracted="3540627901"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540657037"   Paper_ID="/50529.html"   Extracted="3540657037"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.05263157894736842"   />

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

            <identifier   Org="ISBN:3540664599"   Paper_ID="/50529.html"   Extracted="3540664599"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540664629"   Paper_ID="/50529.html"   Extracted="3540664629"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05263157894736842"   />

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

      </rec>

      <rec   ID="/2326.html"   Type="article"   CiteSeer_Book="Science   of   Computer   Programming"   CiteSeer_Volume="29"   Title="An   Experiment   in   Automatic   Generation   of   Test   Suites   for   Protocols   with   Verification   Technology,">

            <identifier   Org="ISBN:0412847604"   Paper_ID="/2326.html"   Extracted="0412847604"   DDC="004/.36"   Normalized_DDC="00436"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:0792376951"   Paper_ID="/2326.html"   Extracted="0792376951"   DDC="621.382"   Normalized_DDC="621382"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:0792385810"   Paper_ID="/2326.html"   Extracted="0792385810"   DDC="004.6/2/0287"   Normalized_DDC="004620287"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:0792386469"   Paper_ID="/2326.html"   Extracted="0792386469"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540200835"   Paper_ID="/2326.html"   Extracted="3540200835"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540205276"   Paper_ID="/2326.html"   Extracted="3540205276"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540208941"   Paper_ID="/2326.html"   Extracted="3540208941"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:354025109X"   Paper_ID="/2326.html"   Extracted="354025109X"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.05263157894736842"   />

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

            <identifier   Org="ISBN:3540401237"   Paper_ID="/2326.html"   Extracted="3540401237"   DDC="621.382"   Normalized_DDC="621382"   Normalized_Weight="0.05263157894736842"   />

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

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

            <identifier   Org="ISBN:3540418636"   Paper_ID="/2326.html"   Extracted="3540418636"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540422811"   Paper_ID="/2326.html"   Extracted="3540422811"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540427872"   Paper_ID="/2326.html"   Extracted="3540427872"   DDC="004/.358"   Normalized_DDC="004358"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540664254"   Paper_ID="/2326.html"   Extracted="3540664254"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540664599"   Paper_ID="/2326.html"   Extracted="3540664599"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05263157894736842"   />

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

            <identifier   Org="ISBN:3540789162"   Paper_ID="/2326.html"   Extracted="3540789162"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.05263157894736842"   />

      </rec>

      <rec   ID="/171529.html"   Type="inproceedings"   CiteSeer_Book="Computer   Aided   Verification"   CiteSeer_Volume=""   Title="Symbolic   Equivalence   Checking,">

            <identifier   Org="ISBN:0387569227"   Paper_ID="/171529.html"   Extracted="0387569227"   DDC="511.3/0285"   Normalized_DDC="51130285"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0780336623"   Paper_ID="/171529.html"   Extracted="0780336623"   DDC="621.39/5/0285"   Normalized_DDC="6213950285"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:079238184X"   Paper_ID="/171529.html"   Extracted="079238184X"   DDC="621.3815"   Normalized_DDC="6213815"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0816625719"   Paper_ID="/171529.html"   Extracted="0816625719"   DDC="303.48/33"   Normalized_DDC="3034833"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0818679611"   Paper_ID="/171529.html"   Extracted="0818679611"   />

            <identifier   Org="ISBN:159593605X"   Paper_ID="/171529.html"   Extracted="159593605X"   />

            <identifier   Org="ISBN:3540572643"   Paper_ID="/171529.html"   Extracted="3540572643"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540578870"   Paper_ID="/171529.html"   Extracted="3540578870"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540600450"   Paper_ID="/171529.html"   Extracted="3540600450"   DDC="004.2/4/015113"   Normalized_DDC="00424015113"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540627901"   Paper_ID="/171529.html"   Extracted="3540627901"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540664599"   Paper_ID="/171529.html"   Extracted="3540664599"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540665595"   Paper_ID="/171529.html"   Extracted="3540665595"   DDC="621.3815"   Normalized_DDC="6213815"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540761918"   Paper_ID="/171529.html"   Extracted="3540761918"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:9810219237"   Paper_ID="/171529.html"   Extracted="9810219237"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

      </rec>

      <rec   ID="/292288.html"   Type="article"   CiteSeer_Book="Formal   Aspects   of   Computing"   CiteSeer_Volume="8"   Title="Compositional   Minimisation   of   Finite   State   Systems   Using   Interface   Specifications,">

            <identifier   Org="ISBN:0792374703"   Paper_ID="/292288.html"   Extracted="0792374703"   DDC="004.36"   Normalized_DDC="00436"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540222367"   Paper_ID="/292288.html"   Extracted="3540222367"   DDC="511.3/5"   Normalized_DDC="51135"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540304924"   Paper_ID="/292288.html"   Extracted="3540304924"   DDC="004.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540418636"   Paper_ID="/292288.html"   Extracted="3540418636"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1111111111111111"   />

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

            <identifier   Org="ISBN:3540422528"   Paper_ID="/292288.html"   Extracted="3540422528"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540627901"   Paper_ID="/292288.html"   Extracted="3540627901"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540676937"   Paper_ID="/292288.html"   Extracted="3540676937"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540731954"   Paper_ID="/292288.html"   Extracted="3540731954"   DDC="004.6/2"   Normalized_DDC="00462"   Normalized_Weight="0.1111111111111111"   />

      </rec>

      <rec   ID="/190366.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="An   operational   semantic   model   for   basic   SDL,">

            <identifier   Org="ISBN:0444814868"   Paper_ID="/190366.html"   Extracted="0444814868"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:0444898743"   Paper_ID="/190366.html"   Extracted="0444898743"   DDC="004.62"   Normalized_DDC="00462"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:0444899235"   Paper_ID="/190366.html"   Extracted="0444899235"   DDC="005.7/11"   Normalized_DDC="005711"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540564969"   Paper_ID="/190366.html"   Extracted="3540564969"   DDC="511.3/0285"   Normalized_DDC="51130285"   Normalized_Weight="0.25"   />

      </rec>

      <rec   ID="/259425.html"   Type="inproceedings"   CiteSeer_Book="Proc   10th   International   Symposium   on   Protocol   Specification   Testing   and   Verification"   CiteSeer_Volume=""   Title="Compilation   and   verification   of   {Lotos}   specifications,">

            <identifier   Org="ISBN:0387569227"   Paper_ID="/259425.html"   Extracted="0387569227"   DDC="511.3/0285"   Normalized_DDC="51130285"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0444816488"   Paper_ID="/259425.html"   Extracted="0444816488"   DDC="004.62"   Normalized_DDC="00462"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0444888101"   Paper_ID="/259425.html"   Extracted="0444888101"   DDC="004.62"   Normalized_DDC="00462"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0780309235"   Paper_ID="/259425.html"   Extracted="0780309235"   />

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

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

            <identifier   Org="ISBN:0818679611"   Paper_ID="/259425.html"   Extracted="0818679611"   />

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

            <identifier   Org="ISBN:3540304924"   Paper_ID="/259425.html"   Extracted="3540304924"   DDC="004.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540433694"   Paper_ID="/259425.html"   Extracted="3540433694"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.0625"   />

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

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

            <identifier   Org="ISBN:3540551794"   Paper_ID="/259425.html"   Extracted="3540551794"   DDC="511.3/0285"   Normalized_DDC="51130285"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:3540568638"   Paper_ID="/259425.html"   Extracted="3540568638"   DDC="003"   Normalized_DDC="003"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540600299"   Paper_ID="/259425.html"   Extracted="3540600299"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540643567"   Paper_ID="/259425.html"   Extracted="3540643567"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540732098"   Paper_ID="/259425.html"   Extracted="3540732098"   DDC="004.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.0625"   />

      </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="/21416.html"   Type="inproceedings"   CiteSeer_Book="Tools   and   Algorithms   for   the   Construction   and   Analysis   of   Systems"   CiteSeer_Volume=""   Title="Compositional   State   Space   Generation   from   {Lotos}   Programs,">

            <identifier   Org="ISBN:0769524885"   Paper_ID="/21416.html"   Extracted="0769524885"   />

            <identifier   Org="ISBN:0792374703"   Paper_ID="/21416.html"   Extracted="0792374703"   DDC="004.36"   Normalized_DDC="00436"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0792374819"   Paper_ID="/21416.html"   Extracted="0792374819"   DDC="005.2/76"   Normalized_DDC="005276"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0792384539"   Paper_ID="/21416.html"   Extracted="0792384539"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:1581130740"   Paper_ID="/21416.html"   Extracted="1581130740"   />

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

            <identifier   Org="ISBN:3540204911"   Paper_ID="/21416.html"   Extracted="3540204911"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540304924"   Paper_ID="/21416.html"   Extracted="3540304924"   DDC="004.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540405240"   Paper_ID="/21416.html"   Extracted="3540405240"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.1111111111111111"   />

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

            <identifier   Org="ISBN:3540627901"   Paper_ID="/21416.html"   Extracted="3540627901"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.1111111111111111"   />

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

            <identifier   Org="ISBN:3540712089"   Paper_ID="/21416.html"   Extracted="3540712089"   />

      </rec>

      <rec   ID="/74319.html"   Type="inproceedings"   CiteSeer_Book="Computer   Aided   Verification"   CiteSeer_Volume=""   Title="{UPPAAL}:   Status   Developments,"   />

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="IF:   An   Intermediate   Representation   and   Validation   Environment   for   Timed   Asynchronous   Systems">

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

            <identifier   Org="ISBN:1402079907"   Paper_ID="SELF"   Extracted="1402079907"   DDC="621.39/2"   Normalized_DDC="621392"   Normalized_Weight="0.05263157894736842"   />

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

            <identifier   Org="ISBN:3540001417"   Paper_ID="SELF"   Extracted="3540001417"   DDC="004.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540213147"   Paper_ID="SELF"   Extracted="3540213147"   DDC="005.14"   Normalized_DDC="00514"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540216715"   Paper_ID="SELF"   Extracted="3540216715"   DDC="004.33"   Normalized_DDC="00433"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540220003"   Paper_ID="SELF"   Extracted="3540220003"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540223819"   Paper_ID="SELF"   Extracted="3540223819"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05263157894736842"   />

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

            <identifier   Org="ISBN:3540262784"   Paper_ID="SELF"   Extracted="3540262784"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540405399"   Paper_ID="SELF"   Extracted="3540405399"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540422811"   Paper_ID="SELF"   Extracted="3540422811"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540426108"   Paper_ID="SELF"   Extracted="3540426108"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540436316"   Paper_ID="SELF"   Extracted="3540436316"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.05263157894736842"   />

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

            <identifier   Org="ISBN:3540439285"   Paper_ID="SELF"   Extracted="3540439285"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05263157894736842"   />

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

            <identifier   Org="ISBN:3540672826"   Paper_ID="SELF"   Extracted="3540672826"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540677704"   Paper_ID="SELF"   Extracted="3540677704"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540756973"   Paper_ID="SELF"   Extracted="3540756973"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05263157894736842"   />

      </rec>

</references_metadata>

www.000webhost.com