C
[CC95] Sérgio Vale Aguiar Campos and Edmund M. Clarke. Real-time symbolic model checking for discrete time models. In Teodor Rus and Charles Rattray (eds.), Real-time symbolic model checking for discrete time models, AMAST Series in Computing 2, pages 129-145. World Scientific, January 1995. 
@incollection{tertsd1995-CC,
  author =              {Campos, S{\'e}rgio Vale Aguiar and Clarke, Edmund
                         M.},
  title =               {Real-time symbolic model checking for discrete time
                         models},
  editor =              {Rus, Teodor and Rattray, Charles},
  booktitle =           {Real-time symbolic model checking for discrete time
                         models},
  publisher =           {World Scientific},
  series =              {AMAST Series in Computing},
  volume =              {2},
  pages =               {129-145},
  year =                {1995},
  month =               jan,
}
List of authors