Thomas, W.: Automata on Innite Objects. In Leeuwen, J. (ed.): Handbook of Theoretical Computer Science, Volume B, Formal Models and Semantics, Elsevier, Amsterdam, 1990, pp. 133139. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Generation of Efficient Algorithms for Maximum Marking Problems - Sasano (Correct)
Determinization of Transducers Over Finite and Infinite Words - Béal, Carton (2001) (Correct)
Timed Cooperating Automata - Lanotte, Maggiolo-Schettini, Peron (1999) (2 citations) (Correct)
A Logic of Probability With Decidable Model-Checking - Beauquier (2001) (Correct)
Checking Finite Traces using Alternating Automata - Finkbeiner, Sipma (2001) (12 citations) (Correct)
Model Checking LTL Properties of High-Level Petri Nets with.. - Latvala (2001) (6 citations) (Correct)
An Expressively Complete Linear Time Temporal Logic for.. - Spic (1997) (28 citations) (Correct)
Unification in a Description Logic with Transitive Closure of.. - Baader, Küsters (2001) (Correct)
Fighting Livelock in the GNU i-Protocol: A Case Study.. - Dong, Du, Holzmann.. (2003) (1 citation) (Correct)
Unification in a Description Logic with Transitive Closure of.. - Baader, Küsters (2001) (Correct)
Typechecking for Semistructured Data - Suciu (2001) (6 citations) (Correct)
Solving Linear Equations over Regular Languages - Baader, Küsters (2001) (Correct)
Combining WS1S and HOL - Basin, Friedrich (1998) (13 citations) (Correct)
Generation of Efficient Programs for Solving Maximum.. - Sasano, Hu, Takeichi (2001) (Correct)
Language Containment Checking with Nondeterministic BDDs - Finkbeiner (2 citations) (Correct)
Iterate Logic - Schmitt (2001) (Correct)
Verifying Temporal Properties of Reactive Systems: A .. - Bjørner.. (1999) (4 citations) (Correct)
Query Efficient Implementation of Graphs of Bounded Clique.. - Courcelle, Vanicat (2001) (1 citation) (Correct)
Theories of ω-Layered Metric Temporal Structures: .. - Montanari, Peron.. (1999) (Correct)
Extending FLAVERS to Check Properties on Infinite Executions .. - Naumovich, Clarke (Correct)
Methodology Of Dynamical Analysis Of Sdl Programs Using.. - Malmqvist (1997) (4 citations) (Correct)
Decidable Call by Need Computations in Term Rewriting.. - Durand, Middeldorp (1997) (17 citations) (Correct)
A Combined Approach to Temporal Logics for Time Granularity - Franceschet, Montanari (2001) (1 citation) (Correct)
Failure Diagnosis of Discrete Event Systems with Linear-time.. - Jiang, Kumar (2001) (2 citations) (Correct)
Symbolic Algorithms for Infinite-State Games - de Alfaro, Henzinger, Majumdar (2001) (5 citations) Self-citation (Thomas) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC