book chapterLecture notes in computer scienceDec 11, 2005Closed access

Automata for modeling real-time systems

RARajeev AlurDLDavid L. Dill

Stanford University

Indexed incrossref

Abstract

No abstract available for this paper.

Citation impact

895
total citations
FWCI
38.02
Percentile
100%
References
25
Citations per year

Authors

2

Topics & keywords

Topics
Keywords
  • Computer science
  • Undecidable problem
  • Intersection (aeronautics)
  • Automaton
  • Finite-state machine
  • Programming language
  • Theoretical computer science
  • Timed automaton
No related works found for this paper.