C
[CGL93] Kārlis Čerāns, Jens Christian Godskesen, and Kim Guldstrand Larsen. Timed Modal Specification - Theory and Tools. In CAV'93, Lecture Notes in Computer Science 697, pages 253-267. Springer-Verlag, June 1993. 
@inproceedings{cav1993-CGL,
  author =              {{\v{C}}er{\={a}}ns, K{\={a}}rlis and Godskesen, Jens
                         Christian and Larsen, Kim Guldstrand},
  title =               {Timed Modal Specification - Theory and Tools},
  editor =              {Courcoubetis, Costas},
  booktitle =           {{P}roceedings of the 5th {I}nternational
                         {C}onference on {C}omputer {A}ided {V}erification
                         ({CAV}'93)},
  acronym =             {{CAV}'93},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {697},
  pages =               {253-267},
  year =                {1993},
  month =               jun,
}
List of authors