C
[CTM+99] Sérgio Vale Aguiar Campos, Márcio Teixeira, Marius Minea, Andreas Kuehlmann, and Edmund M. Clarke. Model Checking Semi-Continuous Time Models Using BDDs. In SMC'99, Electronic Notes in Theoretical Computer Science 23(2). Elsevier, July 1999. 
@inproceedings{smc1999-CTMKC,
  author =              {Campos, S{\'e}rgio Vale Aguiar and Teixeira,
                         M{\'a}rcio and Minea, Marius and Kuehlmann, Andreas
                         and Clarke, Edmund M.},
  title =               {Model Checking Semi-Continuous Time Models Using
                         {BDD}s},
  editor =              {Cimatti, Alessandro and Grumberg, Orna},
  booktitle =           {{P}roceedings of the 1st {I}nternational {W}orkshop
                         on {S}ymbolic {M}odel {C}hecking ({SMC}'99)},
  acronym =             {{SMC}'99},
  publisher =           {Elsevier},
  series =              {Electronic Notes in Theoretical Computer Science},
  volume =              {23},
  number =              {2},
  year =                {1999},
  month =               jul,
}
List of authors