Automatically assigned DDC number: 00424
Manually assigned DDC number: 0051015113

Number of references: 8

Title: Alternating-time Temporal Logic

Author:

Author:

Subject: Rajeev Alur,Thomas A. Henzinger Alternating-time Temporal Logic

Description: Temporal logic comes in two varieties: linear-time temporal logic assumes implicit universal quantification over all paths that are generated by system moves; branching-time temporal logic allows explicit existential and universal quantification over all paths. We introduce a third, more general variety of temporal logic: alternatingtime temporal logic offers selective quantification over those paths that are possible outcomes of games, such as the game in which the system and the environment alternate moves. While linear-time and branching-time logics are natural specification languages for closed systems, alternating-time logics are natural specification languages for open systems. For example, by preceding the temporal operator "eventually" with a selective path quantifier, we can specify that in the game between the system and the environment, the system has a strategy to reach a certain state. Also the problems of receptiveness, realizability, and controllability can be formulated...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1998-02-06

Pubyear: 1997

Format: ps

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

Source: http://www.cis.upenn.edu/~alur/Compos97.ps.gz

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

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

<references_metadata>

<rec ID="/120884.html" Type="article" CiteSeer_Book="Formal Methods in System Design An International Journal" CiteSeer_Volume="15" Title="Reactive Modules,">

<identifier Org="ISBN:0198537689" Paper_ID="/120884.html" Extracted="0198537689" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.06666666666666667" />

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

<identifier Org="ISBN:0415383404" Paper_ID="/120884.html" Extracted="0415383404" />

<identifier Org="ISBN:081867783X" Paper_ID="/120884.html" Extracted="081867783X" DDC="004.36" Normalized_DDC="00436" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:1586035029" Paper_ID="/120884.html" Extracted="1586035029" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540007423" Paper_ID="/120884.html" Extracted="3540007423" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />

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

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

<identifier Org="ISBN:3540504036" Paper_ID="/120884.html" Extracted="3540504036" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540581790" Paper_ID="/120884.html" Extracted="3540581790" DDC="004.2/4/015113" Normalized_DDC="00424015113" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540631410" Paper_ID="/120884.html" Extracted="3540631410" />

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

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

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

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

<identifier Org="ISBN:3540679014" Paper_ID="/120884.html" Extracted="3540679014" DDC="004.0151" Normalized_DDC="0040151" Normalized_Weight="0.06666666666666667" />

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

</rec>

<rec ID="/493240.html" Type="inproceedings" CiteSeer_Book="Proceedings of the sixth International Conference on ComputerAided Verification CAV" CiteSeer_Volume="" Title="Methodology and System for Practical Formal Verification of Reactive Hardware,">

<identifier Org="ISBN:0780332946" Paper_ID="/493240.html" Extracted="0780332946" />

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

<identifier Org="ISBN:1402085850" Paper_ID="/493240.html" Extracted="1402085850" />

<identifier Org="ISBN:354030553X" Paper_ID="/493240.html" Extracted="354030553X" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.07692307692307693" />

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

<identifier Org="ISBN:3540439315" Paper_ID="/493240.html" Extracted="3540439315" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540581790" Paper_ID="/493240.html" Extracted="3540581790" DDC="004.2/4/015113" Normalized_DDC="00424015113" Normalized_Weight="0.07692307692307693" />

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

<identifier Org="ISBN:3540619372" Paper_ID="/493240.html" Extracted="3540619372" DDC="621.39/2" Normalized_DDC="621392" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540631666" Paper_ID="/493240.html" Extracted="3540631666" DDC="004.24015113" Normalized_DDC="00424015113" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540642307" Paper_ID="/493240.html" Extracted="3540642307" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07692307692307693" />

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

<identifier Org="ISBN:3540651918" Paper_ID="/493240.html" Extracted="3540651918" DDC="621.39/2" Normalized_DDC="621392" Normalized_Weight="0.07692307692307693" />

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

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

<identifier Org="ISBN:3540755950" Paper_ID="/493240.html" Extracted="3540755950" DDC="511.3/6028563" Normalized_DDC="51136028563" Normalized_Weight="0.07692307692307693" />

</rec>

<rec ID="/19422.html" Type="inproceedings" CiteSeer_Book="Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science" CiteSeer_Volume="" Title="{S}ymbolic {M}odel {C}hecking: $10^{20}$ {S}tates and {B}eyond," />

<rec ID="/175303.html" Type="inproceedings" CiteSeer_Book="Proceedings of the sixth International Conference on ComputerAided Verification CAV" CiteSeer_Volume="" Title="An Automata-Theoretic Approach to Branching-Time Model Checking,">

<identifier Org="ISBN:078032563X" Paper_ID="/175303.html" Extracted="078032563X" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:1586037943" Paper_ID="/175303.html" Extracted="1586037943" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />

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

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

<identifier Org="ISBN:3540242880" Paper_ID="/175303.html" Extracted="3540242880" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.058823529411764705" />

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

<identifier Org="ISBN:3540418644" Paper_ID="/175303.html" Extracted="3540418644" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />

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

<identifier Org="ISBN:3540434771" Paper_ID="/175303.html" Extracted="3540434771" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540581790" Paper_ID="/175303.html" Extracted="3540581790" DDC="004.2/4/015113" Normalized_DDC="00424015113" Normalized_Weight="0.058823529411764705" />

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

<identifier Org="ISBN:3540631666" Paper_ID="/175303.html" Extracted="3540631666" DDC="004.24015113" Normalized_DDC="00424015113" Normalized_Weight="0.058823529411764705" />

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

<identifier Org="ISBN:3540662243" Paper_ID="/175303.html" Extracted="3540662243" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />

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

<identifier Org="ISBN:3540664920" Paper_ID="/175303.html" Extracted="3540664920" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540668365" Paper_ID="/175303.html" Extracted="3540668365" DDC="005" Normalized_DDC="005" Normalized_Weight="0.058823529411764705" />

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

<identifier Org="ISBN:3540705821" Paper_ID="/175303.html" Extracted="3540705821" />

</rec>

<rec ID="/105199.html" Type="inproceedings" CiteSeer_Book="Proceedings of Computer Aided Verification CAV 91" CiteSeer_Volume="" Title="A Linear--Time Model--Checking Algorithm for the Alternation--Free Modal Mu--Calculus.,">

<identifier Org="ISBN:0780336542" Paper_ID="/105199.html" Extracted="0780336542" />

<identifier Org="ISBN:0818663103" Paper_ID="/105199.html" Extracted="0818663103" />

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

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

<identifier Org="ISBN:354029189X" Paper_ID="/105199.html" Extracted="354029189X" DDC="004.6/2" Normalized_DDC="00462" Normalized_Weight="0.0625" />

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

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

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

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

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

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

<identifier Org="ISBN:354058241X" Paper_ID="/105199.html" Extracted="354058241X" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.0625" />

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

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

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

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

<identifier Org="ISBN:3540606300" Paper_ID="/105199.html" Extracted="3540606300" DDC="005.2" Normalized_DDC="0052" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540664920" Paper_ID="/105199.html" Extracted="3540664920" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.0625" />

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

<identifier Org="ISBN:354088386X" Paper_ID="/105199.html" Extracted="354088386X" />

</rec>

<rec ID="/547580.html" Type="article" CiteSeer_Book="Information and Computation" CiteSeer_Volume="141" Title="Liveness in Timed and Untimed Systems,">

<identifier Org="ISBN:0821802534" Paper_ID="/547580.html" Extracted="0821802534" DDC="005.2" Normalized_DDC="0052" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540205381" Paper_ID="/547580.html" Extracted="3540205381" DDC="004.6" Normalized_DDC="0046" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540407537" Paper_ID="/547580.html" Extracted="3540407537" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.07142857142857142" />

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

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

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

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

<identifier Org="ISBN:3540606300" Paper_ID="/547580.html" Extracted="3540606300" DDC="005.2" Normalized_DDC="0052" Normalized_Weight="0.07142857142857142" />

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

<identifier Org="ISBN:3540616047" Paper_ID="/547580.html" Extracted="3540616047" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.07142857142857142" />

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

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

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

<identifier Org="ISBN:3540733671" Paper_ID="/547580.html" Extracted="3540733671" />

<identifier Org="ISBN:3540744061" Paper_ID="/547580.html" Extracted="3540744061" />

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

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

</rec>

<rec ID="/135666.html" Type="inproceedings" CiteSeer_Book="Proceedings of the Eighth International Conference on Computer Aided Verification CAV" CiteSeer_Volume="" Title="Module Checking,">

<identifier Org="ISBN:0387096795" Paper_ID="/135666.html" Extracted="0387096795" DDC="616.07" Normalized_DDC="61607" Normalized_Weight="0.0625" />

<identifier Org="ISBN:041595200X" Paper_ID="/135666.html" Extracted="041595200X" DDC="370.11/5" Normalized_DDC="370115" Normalized_Weight="0.0625" />

<identifier Org="ISBN:0596003439" Paper_ID="/135666.html" Extracted="0596003439" DDC="005.4/32" Normalized_DDC="005432" Normalized_Weight="0.0625" />

<identifier Org="ISBN:073571228X" Paper_ID="/135666.html" Extracted="073571228X" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.0625" />

<identifier Org="ISBN:0764579401" Paper_ID="/135666.html" Extracted="0764579401" DDC="005.432" Normalized_DDC="005432" Normalized_Weight="0.0625" />

<identifier Org="ISBN:1565926471" Paper_ID="/135666.html" Extracted="1565926471" DDC="005.2/762" Normalized_DDC="0052762" Normalized_Weight="0.0625" />

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

<identifier Org="ISBN:354034666X" Paper_ID="/135666.html" Extracted="354034666X" DDC="004.6" Normalized_DDC="0046" Normalized_Weight="0.0625" />

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

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

<identifier Org="ISBN:3540631666" Paper_ID="/135666.html" Extracted="3540631666" DDC="004.24015113" Normalized_DDC="00424015113" Normalized_Weight="0.0625" />

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

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

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

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

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

<identifier Org="ISBN:3540713891" Paper_ID="/135666.html" Extracted="3540713891" DDC="005.12" Normalized_DDC="00512" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540744061" Paper_ID="/135666.html" Extracted="3540744061" />

<identifier Org="ISBN:3540894381" Paper_ID="/135666.html" Extracted="3540894381" />

<identifier Org="ISBN:8181284070" Paper_ID="/135666.html" Extracted="8181284070" />

</rec>

<rec ID="/101863.html" Type="inproceedings" CiteSeer_Book="Symposium on Theoretical Aspects of Computer Science" CiteSeer_Volume="" Title="On the Synthesis of Strategies in Infinite Games,">

<identifier Org="ISBN:3540206809" Paper_ID="/101863.html" Extracted="3540206809" DDC="005" Normalized_DDC="005" Normalized_Weight="0.0625" />

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

<identifier Org="ISBN:354021299X" Paper_ID="/101863.html" Extracted="354021299X" DDC="005.1/2" Normalized_DDC="00512" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540230246" Paper_ID="/101863.html" Extracted="3540230246" DDC="005.1/01/5113" Normalized_DDC="0051015113" Normalized_Weight="0.0625" />

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

<identifier Org="ISBN:3540424997" Paper_ID="/101863.html" Extracted="3540424997" DDC="621.39/5" Normalized_DDC="621395" Normalized_Weight="0.0625" />

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

<identifier Org="ISBN:3540590420" Paper_ID="/101863.html" Extracted="3540590420" DDC="004/.01/511" Normalized_DDC="00401511" Normalized_Weight="0.0625" />

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

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

<identifier Org="ISBN:3540626859" Paper_ID="/101863.html" Extracted="3540626859" DDC="006.3/1" Normalized_DDC="00631" Normalized_Weight="0.0625" />

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

<identifier Org="ISBN:354065013X" Paper_ID="/101863.html" Extracted="354065013X" DDC="006.3/1" Normalized_DDC="00631" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540744061" Paper_ID="/101863.html" Extracted="3540744061" />

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

<identifier Org="ISBN:354077565X" Paper_ID="/101863.html" Extracted="354077565X" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540852379" Paper_ID="/101863.html" Extracted="3540852379" />

<identifier Org="ISBN:3540926860" Paper_ID="/101863.html" Extracted="3540926860" />

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

</rec>

<rec ID="SELF" Type="SELF" CiteSeer_Book="SELF" CiteSeer_Volume="SELF" Title="Alternating-time Temporal Logic">

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

<identifier Org="ISBN:1402036000" Paper_ID="SELF" Extracted="1402036000" DDC="121" Normalized_DDC="121" Normalized_Weight="0.08333333333333333" />

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

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

<identifier Org="ISBN:3540221115" Paper_ID="SELF" Extracted="3540221115" DDC="004.015113" Normalized_DDC="004015113" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540232427" Paper_ID="SELF" Extracted="3540232427" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540291067" Paper_ID="SELF" Extracted="3540291067" DDC="004" Normalized_DDC="004" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540434100" Paper_ID="SELF" Extracted="3540434100" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.08333333333333333" />

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

<identifier Org="ISBN:3540438580" Paper_ID="SELF" Extracted="3540438580" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540441859" Paper_ID="SELF" Extracted="3540441859" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540654933" Paper_ID="SELF" Extracted="3540654933" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.08333333333333333" />

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

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

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

<identifier Org="ISBN:3540752536" Paper_ID="SELF" Extracted="3540752536" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540755950" Paper_ID="SELF" Extracted="3540755950" DDC="511.3/6028563" Normalized_DDC="51136028563" Normalized_Weight="0.08333333333333333" />

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

</rec>

</references_metadata>