W
[Wil94] Thomas Wilke. Specifying Timed State Sequence in Powerful Decidable Logics and Timed Automata (Extended Abstract). In FTRTFT'94, Lecture Notes in Computer Science 863, pages 694-715. Springer-Verlag, September 1994. 
@inproceedings{ftrtft1994-Wil,
  author =              {Wilke, Thomas},
  title =               {Specifying Timed State Sequence in Powerful
                         Decidable Logics and Timed Automata (Extended
                         Abstract)},
  editor =              {Langmaack, Hans and de Roever, Willem-Paul and
                         Vytopil, Jan},
  booktitle =           {{P}roceedings of the 3rd {F}ormal {T}echniques in
                         {R}eal-Time and {F}ault-Tolerant {S}ystems
                         ({FTRTFT}'94)},
  acronym =             {{FTRTFT}'94},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {863},
  pages =               {694-715},
  year =                {1994},
  month =               sep,
}
List of authors