K
[KP05] Pavel Krčál and Radek Pelánek. On Sampled Semantics of Timed Systems. In FSTTCS'05, Lecture Notes in Computer Science 3821, pages 310-321. Springer-Verlag, December 2005. 
@inproceedings{fsttcs2005-KP,
  author =              {Kr{\v{c}}{\'{a}}l, Pavel and Pel{\'{a}}nek, Radek},
  title =               {On Sampled Semantics of Timed Systems},
  editor =              {Ramanujam, R. and Sen, Sandeep},
  booktitle =           {{P}roceedings of the 25th {C}onference on
                         {F}oundations of {S}oftware {T}echnology and
                         {T}heoretical {C}omputer {S}cience ({FSTTCS}'05)},
  acronym =             {{FSTTCS}'05},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {3821},
  pages =               {310-321},
  year =                {2005},
  month =               dec,
}
List of authors