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