K
[KS05] Antonín Kučera and Jan Strejček. Characteristic Patterns for LTL. In SOFSEM'05, Lecture Notes in Computer Science 3381, pages 239-249. Springer-Verlag, January 2005. 
@inproceedings{sofsem2005-KS,
  author =              {Ku{\v c}era, Anton{\'\i}n and Strej{\v c}ek, Jan},
  title =               {Characteristic Patterns for {LTL}},
  editor =              {Vojt{\'a}s, Peter and Bielikov{\'a}, M{\'a}ria and
                         Charron-Bost, Bernadette and S{\'y}kora, Ondrej},
  booktitle =           {{P}roceedings of the 31st {C}onference on {C}urrent
                         {T}rends in {T}heory and {P}ractice of {I}nformatics
                         ({SOFSEM}'05)},
  acronym =             {{SOFSEM}'05},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {3381},
  pages =               {239-249},
  year =                {2005},
  month =               jan,
}
List of authors