F
[FGK95] Jürgen Frößl, Joachim Gerlach, and Thomas Kropf. Symbolic Model Checking for Real-Time Circuits and Specifications. In TAU'95. ACM Press, November 1995. 
@inproceedings{tau1995-FGK,
  author =              {Fr{\"o}{\ss}l, J{\"u}rgen and Gerlach, Joachim and
                         Kropf, {\relax Th}omas},
  title =               {Symbolic Model Checking for Real-Time Circuits and
                         Specifications},
  booktitle =           {{P}roceedings of the 1995 {ACM} {I}nternational
                         {W}orkshop on {T}iming {I}ssues in the
                         {S}pecification and {S}ynthesis of {D}igital
                         {S}ystems ({TAU}'95)},
  acronym =             {{TAU}'95},
  publisher =           {ACM Press},
  year =                {1995},
  month =               nov,
}
List of authors