Classifying Discrete Temporal Properties

@inproceedings{Wilke1999ClassifyingDT,
  title={Classifying Discrete Temporal Properties},
  author={Thomas Wilke},
  booktitle={STACS},
  year={1999}
}
This paper surveys recent results on the classification of discrete temporal properties, gives an introduction to the methods that have been developed to obtain them, and explains the connections to the theory of finite automata, the theory of finite semigroups, and to 
BETA

Citations

Publications citing this paper.
SHOWING 1-10 OF 79 CITATIONS, ESTIMATED 47% COVERAGE

169 Citations

01020'99'03'08'13'18
Citations per Year
Semantic Scholar estimates that this publication has 169 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…