book chapterLecture notes in computer scienceJan 1, 2004Closed access

Timed Automata: Semantics, Algorithms and Tools

JBJohan BengtssonWYWang Yi

Uppsala University

Indexed incrossref

Abstract

No abstract available for this paper.

Citation impact

714
total citations
FWCI
18.72
Percentile
100%
References
60
Citations per year

Authors

2

Topics & keywords

Topics
Keywords
  • Computer science
  • Automaton
  • Semantics (computer science)
  • Theoretical computer science
  • Focus (optics)
  • Programming language
  • Algorithm
  • Model checking
UN Sustainable Development Goals
  • Peace, Justice and strong institutions
No related works found for this paper.