News Help Institutional access
Back to results
Bibliographic record · Consultation and access
Artículo

A theory of timed automata

Rajeev Alur; David L. Dill · Theoretical Computer Science · 1994

Resource page
Quick overview. Review the resource’s basic details, then access the content using the main button. This page shows only the information needed to identify, cite, and open the work.
Author / responsible party
Rajeev Alur; David L. Dill
Publisher
Theoretical Computer Science
Year
1994
Language
English

Resource access

Open the content from the main option or choose another available source.

OpenAlex OpenAlex Works
Entrar por OpenAlex
Main access

Resource page

Resource reference page. Full text availability has not been automatically confirmed.
Open resource

How to cite

Elegí el formato que necesitás y copiá la referencia al portapapeles.

APA 7

Alur, R. & Dill, D. L. (1994). A theory of timed automata. https://doi.org/10.1016/0304-3975(94)90010-8

MLA

Alur, Rajeev, and David L. Dill. "A theory of timed automata." 1994. https://doi.org/10.1016/0304-3975(94)90010-8.

Chicago

Alur, Rajeev and David L. Dill. 1994. "A theory of timed automata.". https://doi.org/10.1016/0304-3975(94)90010-8.

Harvard

Alur, R. and Dill, D. L. 1994, A theory of timed automata, Theoretical Computer Science, available at: https://doi.org/10.1016/0304-3975(94)90010-8 [Accessed 6 Aug. 2026].

Share and print

Save the record, copy its permanent link, or print it as a PDF.

Export reference

You can export the record in common formats for use in a reference manager.

RIS BibTeX

Resource details

Bibliographic information to help confirm that this is the correct material.

Title
A theory of timed automata
Author / contributors
Rajeev Alur; David L. Dill
Publisher
Theoretical Computer Science
Publication year
1994
Language
English

Subjects

Explore related resources through these subjects.

Automaton; Computer science; Automata theory; Timed automaton; Theoretical computer science; Mathematics; Programming language
Copied