Automatically assigned DDC number: 005131
Manually assigned DDC number: 005131

Number of references: 16

Title: Automated Deductive Analysis Of Time Critical Systems Based On Methodical Formal Specification

Author:

Subject: Angelo Gargantini Automated Deductive Analysis Of Time Critical Systems Based On Methodical Formal Specification

Description: The paper [CH85] presents a mathematical model of real time systems behavior, suitable for requirements specification, analysis and proof of properties. Content. Time is considered, almost always, a discrete set, but it may be uncountable (a the set R). Events (as sequence of occurrences of a certain event) are modeled by a function time from N to Time. This function binds the i-th occurrence of an event to its time of occurrence, and it has some restrictions (increasing ...). More than one occurrence at the same time of an event are allowed. Moreover the non Zeno requirement is modeled by a simple requirement of this function ( lim n!1 time(e)(n) = +1). This requirement prevents an event from occurring in nitely often during a finite delay. Variables are introduced. They are piecewise constant, because their assignment to a value is an event. Periodic events (with fixed and variable period) are defined as well. They define counters of events too. There are counters of two types: lcoun...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 2000-08-07

Format: ps

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

Source: http://www.elet.polimi.it/Users/DEI/Sections/Compeng/Angelo.Gargantini/research/TVS/trio_pvs_report.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="/157684.html" Type="inproceedings" CiteSeer_Book="Proceedings of the International Workshop on Hybrid and RealTime Systems HART97" CiteSeer_Volume="" Title="Verifying Hybrid Systems Modeled as Timed Automata: {A} Case Study,">

<identifier Org="ISBN:0792383168" Paper_ID="/157684.html" Extracted="0792383168" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.14285714285714285" />

<identifier Org="ISBN:0817642072" Paper_ID="/157684.html" Extracted="0817642072" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.14285714285714285" />

<identifier Org="ISBN:158113262X" Paper_ID="/157684.html" Extracted="158113262X" />

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

<identifier Org="ISBN:3540627170" Paper_ID="/157684.html" Extracted="3540627170" />

<identifier Org="ISBN:3540633790" Paper_ID="/157684.html" Extracted="3540633790" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.14285714285714285" />

<identifier Org="ISBN:3540638881" Paper_ID="/157684.html" Extracted="3540638881" DDC="005.1/01/512" Normalized_DDC="005101512" Normalized_Weight="0.14285714285714285" />

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

<identifier Org="ISBN:3540648968" Paper_ID="/157684.html" Extracted="3540648968" DDC="004" Normalized_DDC="004" Normalized_Weight="0.14285714285714285" />

</rec>

<rec ID="/56161.html" Type="inproceedings" CiteSeer_Book="Theorem Proving in Higher Order Logics 10th International Conference TPHOLs 97" CiteSeer_Volume="" Title="Human-Style Theorem Proving Using {PVS},">

<identifier Org="ISBN:158113262X" Paper_ID="/56161.html" Extracted="158113262X" />

<identifier Org="ISBN:354040709X" Paper_ID="/56161.html" Extracted="354040709X" />

<identifier Org="ISBN:3540633790" Paper_ID="/56161.html" Extracted="3540633790" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.5" />

<identifier Org="ISBN:3540649875" Paper_ID="/56161.html" Extracted="3540649875" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.5" />

</rec>

<rec ID="/7519.html" Type="inproceedings" CiteSeer_Book="User Interfaces for Theorem Provers" CiteSeer_Volume="" Title="{TAME: A {PVS}} Interface to Simplify Proofs for Automata Models,">

<identifier Org="ISBN:0521771641" Paper_ID="/7519.html" Extracted="0521771641" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:0792379497" Paper_ID="/7519.html" Extracted="0792379497" DDC="005" Normalized_DDC="005" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:158113262X" Paper_ID="/7519.html" Extracted="158113262X" />

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

<identifier Org="ISBN:3540427163" Paper_ID="/7519.html" Extracted="3540427163" DDC="629.8/0285/63" Normalized_DDC="6298028563" Normalized_Weight="0.1111111111111111" />

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

<identifier Org="ISBN:3540664637" Paper_ID="/7519.html" Extracted="3540664637" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.1111111111111111" />

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

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

<identifier Org="ISBN:3540691472" Paper_ID="/7519.html" Extracted="3540691472" />

<identifier Org="ISBN:3540710655" Paper_ID="/7519.html" Extracted="3540710655" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:354085777X" Paper_ID="/7519.html" Extracted="354085777X" />

</rec>

<rec ID="/315693.html" Type="article" CiteSeer_Book="ACM Transactions on Programming Languages and Systems" CiteSeer_Volume="16" Title="An Old-Fashioned Recipe for Real Time,">

<identifier Org="ISBN:0780331990" Paper_ID="/315693.html" Extracted="0780331990" />

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

<identifier Org="ISBN:0821806807" Paper_ID="/315693.html" Extracted="0821806807" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540308814" Paper_ID="/315693.html" Extracted="3540308814" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540410554" Paper_ID="/315693.html" Extracted="3540410554" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540417117" Paper_ID="/315693.html" Extracted="3540417117" DDC="658.5" Normalized_DDC="6585" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540437878" Paper_ID="/315693.html" Extracted="3540437878" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540555641" Paper_ID="/315693.html" Extracted="3540555641" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.05555555555555555" />

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

<identifier Org="ISBN:3540563202" Paper_ID="/315693.html" Extracted="3540563202" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05555555555555555" />

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

<identifier Org="ISBN:3540582010" Paper_ID="/315693.html" Extracted="3540582010" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540584684" Paper_ID="/315693.html" Extracted="3540584684" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:354061155X" Paper_ID="/315693.html" Extracted="354061155X" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540630104" Paper_ID="/315693.html" Extracted="3540630104" DDC="005.2/73" Normalized_DDC="005273" Normalized_Weight="0.05555555555555555" />

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

<identifier Org="ISBN:3540651934" Paper_ID="/315693.html" Extracted="3540651934" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.05555555555555555" />

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

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

</rec>

<rec ID="/314638.html" Type="article" CiteSeer_Book="ACM Transactions on Software Engineering and Methodology" CiteSeer_Volume="3" Title="A graphical interval logic for specifying concurrent systems,">

<identifier Org="ISBN:0195104277" Paper_ID="/314638.html" Extracted="0195104277" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.1" />

<identifier Org="ISBN:0321228626" Paper_ID="/314638.html" Extracted="0321228626" DDC="620/.001/171" Normalized_DDC="620001171" Normalized_Weight="0.1" />

<identifier Org="ISBN:0769511252" Paper_ID="/314638.html" Extracted="0769511252" />

<identifier Org="ISBN:1402081480" Paper_ID="/314638.html" Extracted="1402081480" DDC="004.256" Normalized_DDC="004256" Normalized_Weight="0.1" />

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

<identifier Org="ISBN:1586035762" Paper_ID="/314638.html" Extracted="1586035762" />

<identifier Org="ISBN:3540007873" Paper_ID="/314638.html" Extracted="3540007873" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.1" />

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

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

<identifier Org="ISBN:3540416552" Paper_ID="/314638.html" Extracted="3540416552" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.1" />

<identifier Org="ISBN:3540426078" Paper_ID="/314638.html" Extracted="3540426078" DDC="005" Normalized_DDC="005" Normalized_Weight="0.1" />

<identifier Org="ISBN:3540590471" Paper_ID="/314638.html" Extracted="3540590471" DDC="621.39/2" Normalized_DDC="621392" Normalized_Weight="0.1" />

<identifier Org="ISBN:3540929657" Paper_ID="/314638.html" Extracted="3540929657" />

<identifier Org="ISBN:4930813670" Paper_ID="/314638.html" Extracted="4930813670" />

<identifier Org="ISBN:8480214341" Paper_ID="/314638.html" Extracted="8480214341" />

<identifier Org="ISBN:981024424X" Paper_ID="/314638.html" Extracted="981024424X" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.1" />

</rec>

<rec ID="/70578.html" Type="article" CiteSeer_Book="Software Engineering" CiteSeer_Volume="23" Title="Formal Requirements Analysis of an Avionics Control System,">

<identifier Org="ISBN:0131469134" Paper_ID="/70578.html" Extracted="0131469134" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.2" />

<identifier Org="ISBN:0769524621" Paper_ID="/70578.html" Extracted="0769524621" />

<identifier Org="ISBN:354065643X" Paper_ID="/70578.html" Extracted="354065643X" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.2" />

<identifier Org="ISBN:3540657347" Paper_ID="/70578.html" Extracted="3540657347" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.2" />

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

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

</rec>

<rec ID="/46221.html" Type="inproceedings" CiteSeer_Book="Theorem Proving in Higher Order Logics 9th International Conference TPHOLs 96" CiteSeer_Volume="" Title="Elements of Mathematical Analysis in {PVS},">

<identifier Org="ISBN:1568811454" Paper_ID="/46221.html" Extracted="1568811454" DDC="512/.0285" Normalized_DDC="5120285" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:1581130732" Paper_ID="/46221.html" Extracted="1581130732" />

<identifier Org="ISBN:354014031X" Paper_ID="/46221.html" Extracted="354014031X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540212590" Paper_ID="/46221.html" Extracted="3540212590" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540213775" Paper_ID="/46221.html" Extracted="3540213775" DDC="004.0151" Normalized_DDC="0040151" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540283722" Paper_ID="/46221.html" Extracted="3540283722" />

<identifier Org="ISBN:354042525X" Paper_ID="/46221.html" Extracted="354042525X" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540425411" Paper_ID="/46221.html" Extracted="3540425411" DDC="621.39/5" Normalized_DDC="621395" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540616489" Paper_ID="/46221.html" Extracted="3540616489" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540638881" Paper_ID="/46221.html" Extracted="3540638881" DDC="005.1/01/512" Normalized_DDC="005101512" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540662227" Paper_ID="/46221.html" Extracted="3540662227" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540678638" Paper_ID="/46221.html" Extracted="3540678638" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.09090909090909091" />

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

</rec>

<rec ID="/562724.html" Type="article" CiteSeer_Book="Information and Computation" CiteSeer_Volume="150" Title="Dealing with Zero-Time Transitions in Axiom Systems,">

<identifier Org="ISBN:3540255761" Paper_ID="/562724.html" Extracted="3540255761" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="1.0" />

</rec>

<rec ID="/430308.html" Type="article" CiteSeer_Book="ACM Transactions on Software Engineering and Methodology" CiteSeer_Volume="5" Title="Automated consistency checking of requirements specifications,">

<identifier Org="ISBN:0769510868" Paper_ID="/430308.html" Extracted="0769510868" DDC="620/.001/171" Normalized_DDC="620001171" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:0780339800" Paper_ID="/430308.html" Extracted="0780339800" />

<identifier Org="ISBN:0818677406" Paper_ID="/430308.html" Extracted="0818677406" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:1402065841" Paper_ID="/430308.html" Extracted="1402065841" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:1591403758" Paper_ID="/430308.html" Extracted="1591403758" DDC="003.3" Normalized_DDC="0033" Normalized_Weight="0.09090909090909091" />

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

<identifier Org="ISBN:3540421033" Paper_ID="/430308.html" Extracted="3540421033" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540439307" Paper_ID="/430308.html" Extracted="3540439307" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540627170" Paper_ID="/430308.html" Extracted="3540627170" />

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

<identifier Org="ISBN:3540664637" Paper_ID="/430308.html" Extracted="3540664637" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540665382" Paper_ID="/430308.html" Extracted="3540665382" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540691472" Paper_ID="/430308.html" Extracted="3540691472" />

<identifier Org="ISBN:3540740333" Paper_ID="/430308.html" Extracted="3540740333" DDC="004.2" Normalized_DDC="0042" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3642005926" Paper_ID="/430308.html" Extracted="3642005926" />

</rec>

<rec ID="/529251.html" Type="techreport" CiteSeer_Book="" CiteSeer_Volume="" Title="The Generalized Railroad Crossing: {A} Case Study in Formal Verification of Real-Time Systems,">

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

<identifier Org="ISBN:0780331990" Paper_ID="/529251.html" Extracted="0780331990" />

<identifier Org="ISBN:0780338014" Paper_ID="/529251.html" Extracted="0780338014" />

<identifier Org="ISBN:0818666005" Paper_ID="/529251.html" Extracted="0818666005" />

<identifier Org="ISBN:0818674482" Paper_ID="/529251.html" Extracted="0818674482" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:0818677406" Paper_ID="/529251.html" Extracted="0818677406" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />

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

<identifier Org="ISBN:3540000100" Paper_ID="/529251.html" Extracted="3540000100" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />

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

<identifier Org="ISBN:3540231358" Paper_ID="/529251.html" Extracted="3540231358" DDC="005.10943" Normalized_DDC="00510943" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540253041" Paper_ID="/529251.html" Extracted="3540253041" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:354040709X" Paper_ID="/529251.html" Extracted="354040709X" />

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

<identifier Org="ISBN:354061155X" Paper_ID="/529251.html" Extracted="354061155X" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.07142857142857142" />

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

<identifier Org="ISBN:3540630104" Paper_ID="/529251.html" Extracted="3540630104" DDC="005.2/73" Normalized_DDC="005273" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540633790" Paper_ID="/529251.html" Extracted="3540633790" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540664637" Paper_ID="/529251.html" Extracted="3540664637" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540749837" Paper_ID="/529251.html" Extracted="3540749837" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.07142857142857142" />

</rec>

<rec ID="/44926.html" Type="article" CiteSeer_Book="Software Engineering" CiteSeer_Volume="18" Title="Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language {LUSTRE},">

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

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

<identifier Org="ISBN:0780399757" Paper_ID="/44926.html" Extracted="0780399757" />

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

<identifier Org="ISBN:1558609253" Paper_ID="/44926.html" Extracted="1558609253" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:1565550986" Paper_ID="/44926.html" Extracted="1565550986" />

<identifier Org="ISBN:1581137427" Paper_ID="/44926.html" Extracted="1581137427" />

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

<identifier Org="ISBN:3540417117" Paper_ID="/44926.html" Extracted="3540417117" DDC="658.5" Normalized_DDC="6585" Normalized_Weight="0.08333333333333333" />

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

<identifier Org="ISBN:3540584269" Paper_ID="/44926.html" Extracted="3540584269" DDC="004.2" Normalized_DDC="0042" Normalized_Weight="0.08333333333333333" />

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

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

<identifier Org="ISBN:3540619291" Paper_ID="/44926.html" Extracted="3540619291" DDC="621.1/83" Normalized_DDC="621183" Normalized_Weight="0.08333333333333333" />

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

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

<identifier Org="ISBN:3540712887" Paper_ID="/44926.html" Extracted="3540712887" />

</rec>

<rec ID="/8705.html" Type="techreport" CiteSeer_Book="" CiteSeer_Volume="" Title="A Theorem Prover for {ASTRAL},">

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

</rec>

<rec ID="/498773.html" Type="article" CiteSeer_Book="ACM Transactions on Programming Languages and Systems" CiteSeer_Volume="14" Title="A Model Parametric Real-Time Logic,">

<identifier Org="ISBN:0444892087" Paper_ID="/498773.html" Extracted="0444892087" DDC="621.39/2" Normalized_DDC="621392" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:0818623209" Paper_ID="/498773.html" Extracted="0818623209" />

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

<identifier Org="ISBN:0818680024" Paper_ID="/498773.html" Extracted="0818680024" DDC="620/.0028" Normalized_DDC="6200028" Normalized_Weight="0.07142857142857142" />

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

<identifier Org="ISBN:3540542620" Paper_ID="/498773.html" Extracted="3540542620" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540547428" Paper_ID="/498773.html" Extracted="3540547428" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540555641" Paper_ID="/498773.html" Extracted="3540555641" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540572090" Paper_ID="/498773.html" Extracted="3540572090" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540582177" Paper_ID="/498773.html" Extracted="3540582177" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.07142857142857142" />

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

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

<identifier Org="ISBN:3540686762" Paper_ID="/498773.html" Extracted="3540686762" />

<identifier Org="ISBN:3540741275" Paper_ID="/498773.html" Extracted="3540741275" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540752900" Paper_ID="/498773.html" Extracted="3540752900" DDC="003/.54" Normalized_DDC="00354" Normalized_Weight="0.07142857142857142" />

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

</rec>

<rec ID="/26901.html" Type="article" CiteSeer_Book="ACM Transactions on Software Engineering and Methodology" CiteSeer_Volume="6" Title="A graphical environment for the design of concurrent real-time systems,">

<identifier Org="ISBN:0769521258" Paper_ID="/26901.html" Extracted="0769521258" />

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

<identifier Org="ISBN:354070888X" Paper_ID="/26901.html" Extracted="354070888X" DDC="004" Normalized_DDC="004" Normalized_Weight="0.3333333333333333" />

<identifier Org="ISBN:3540749837" Paper_ID="/26901.html" Extracted="3540749837" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.3333333333333333" />

</rec>

<rec ID="/356216.html" Type="techreport" CiteSeer_Book="" CiteSeer_Volume="" Title="Tabular Representation of Relations,">

<identifier Org="ISBN:0123490405" Paper_ID="/356216.html" Extracted="0123490405" DDC="004.07" Normalized_DDC="00407" Normalized_Weight="0.125" />

<identifier Org="ISBN:0387187855" Paper_ID="/356216.html" Extracted="0387187855" DDC="005.7/3" Normalized_DDC="00573" Normalized_Weight="0.125" />

<identifier Org="ISBN:0769523153" Paper_ID="/356216.html" Extracted="0769523153" />

<identifier Org="ISBN:0780329465" Paper_ID="/356216.html" Extracted="0780329465" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.125" />

<identifier Org="ISBN:0818682558" Paper_ID="/356216.html" Extracted="0818682558" />

<identifier Org="ISBN:1586036734" Paper_ID="/356216.html" Extracted="1586036734" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.125" />

<identifier Org="ISBN:3540568832" Paper_ID="/356216.html" Extracted="3540568832" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.125" />

<identifier Org="ISBN:3540578269" Paper_ID="/356216.html" Extracted="3540578269" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.125" />

<identifier Org="ISBN:3540602712" Paper_ID="/356216.html" Extracted="3540602712" DDC="005.1/01/5113" Normalized_DDC="0051015113" Normalized_Weight="0.125" />

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

</rec>

<rec ID="/310156.html" Type="article" CiteSeer_Book="Science of Computer Programming" CiteSeer_Volume="25" Title="Functional Documents for Computer Systems,">

<identifier Org="ISBN:079184255X" Paper_ID="/310156.html" Extracted="079184255X" DDC="620/.00420285" Normalized_DDC="62000420285" Normalized_Weight="0.06666666666666667" />

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

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

<identifier Org="ISBN:158113472X" Paper_ID="/310156.html" Extracted="158113472X" DDC="005.452" Normalized_DDC="005452" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:1586030655" Paper_ID="/310156.html" Extracted="1586030655" DDC="621.382" Normalized_DDC="621382" Normalized_Weight="0.06666666666666667" />

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

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

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

<identifier Org="ISBN:3540219897" Paper_ID="/310156.html" Extracted="3540219897" DDC="005.117" Normalized_DDC="005117" Normalized_Weight="0.06666666666666667" />

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

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

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

<identifier Org="ISBN:3540421238" Paper_ID="/310156.html" Extracted="3540421238" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540441573" Paper_ID="/310156.html" Extracted="3540441573" DDC="005" Normalized_DDC="005" Normalized_Weight="0.06666666666666667" />

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

<identifier Org="ISBN:3540627170" Paper_ID="/310156.html" Extracted="3540627170" />

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

<identifier Org="ISBN:3540897615" Paper_ID="/310156.html" Extracted="3540897615" />

<identifier Org="ISBN:9051994311" Paper_ID="/310156.html" Extracted="9051994311" />

</rec>

<rec ID="SELF" Type="SELF" CiteSeer_Book="SELF" CiteSeer_Volume="SELF" Title="Automated Deductive Analysis Of Time Critical Systems Based On Methodical Formal Specification" />

</references_metadata>