B
[BMT99] Augustin Baziramwabo, Pierre McKenzie et Denis Thérien. Modular Temporal Logic. In LICS'99, pages 344-351. IEEE Comp. Soc. Press, juillet 1999. 
@inproceedings{lics1999-BMT,
  author =              {Baziramwabo, Augustin and McKenzie, Pierre and
                         Th{\'e}rien, Denis},
  title =               {Modular Temporal Logic},
  booktitle =           {{P}roceedings of the 14th {A}nnual {S}ymposium on
                         {L}ogic in {C}omputer {S}cience ({LICS}'99)},
  acronym =             {{LICS}'99},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {344-351},
  year =                {1999},
  month =               jul,
}
Liste des auteurs