C
[CC94] Sérgio Vale Aguiar Campos and Edmund M. Clarke. Real-Time Symbolic Model Checking for Discrete Time Models. Technical Report CMU-CS-94-146, Computer Science Deparment, Carnegie Mellon University, Pittsburgh, Pennsylvania, USA, May 1994. 
@techreport{TR-CMU-CS-94-146,
  author =              {Campos, S{\'e}rgio Vale Aguiar and Clarke, Edmund
                         M.},
  title =               {Real-Time Symbolic Model Checking for Discrete Time
                         Models},
  number =              {CMU-CS-94-146},
  year =                {1994},
  month =               may,
  institution =         {Computer Science Deparment, Carnegie Mellon
                         University, Pittsburgh, Pennsylvania, USA},
  type =                {Technical Report},
}
List of authors