C
[CC99] Sérgio Vale Aguiar Campos and Edmund M. Clarke. Analysis and verification of real-time systems using quantitative symbolic algorithms. International Journal on Software Tools for Technology Transfer 2(3):260-269. Springer-Verlag, November 1999. 
@article{sttt2(3)-CC,
  author =              {Campos, S{\'e}rgio Vale Aguiar and Clarke, Edmund
                         M.},
  title =               {Analysis and verification of real-time systems using
                         quantitative symbolic algorithms},
  publisher =           {Springer-Verlag},
  journal =             {International Journal on Software Tools for
                         Technology Transfer},
  volume =              {2},
  number =              {3},
  pages =               {260-269},
  year =                {1999},
  month =               nov,
  doi =                 {10.1007/s100090050033},
}
List of authors