C
[CD88] Edmund M. Clarke et I. A. Draghicescu. Expressibility Results for Linear-Time and Branching-Time Logics. In REX'88, Lecture Notes in Computer Science 354, pages 428-437. Springer-Verlag, mai 1988. 
@inproceedings{rex1988-CD,
  author =              {Clarke, Edmund M. and Draghicescu, I. A.},
  title =               {Expressibility Results for Linear-Time and
                         Branching-Time Logics},
  editor =              {de~Bakker, Jaco W. and de Roever, Willem-Paul and
                         Rozenberg, Grzegorz},
  booktitle =           {{L}inear {T}ime, {B}ranching {T}ime and {P}artial
                         {O}rder in {L}ogics and {M}odels for
                         {C}oncurrency~--- {P}roceedings of {REX}
                         {S}chool{\slash}{W}orkshop~1988 ({REX}'88)},
  acronym =             {{REX}'88},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {354},
  pages =               {428-437},
  year =                {1988},
  month =               may,
}
Liste des auteurs