T
[TA99] Stavros Tripakis and Karine Altisen. On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems. In FM'99, Lecture Notes in Computer Science 1708, pages 233-252. Springer-Verlag, September 1999.
@inproceedings{fm1999-TA,
  author =              {Tripakis, Stavros and Altisen, Karine},
  title =               {On-the-Fly Controller Synthesis for Discrete and
                         Dense-Time Systems},
  editor =              {Wing, Jeannette M. and Woodcock, Jim and Davies,
                         Jim},
  booktitle =           {{P}roceedings of the {W}orld {C}ongress on {F}ormal
                         {M}ethods ({FM}'99)},
  acronym =             {{FM}'99},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1708},
  pages =               {233-252},
  year =                {1999},
  month =               sep,
}
List of authors