V
[VV06] Daniele Varacca et Hagen Völzer. Temporal Logics and Model Checking for Fairly Correct Systems. In LICS'06, pages 389-398. IEEE Comp. Soc. Press, juillet 2006. 
@inproceedings{lics2006-VV,
  author =              {Varacca, Daniele and V{\"o}lzer, Hagen},
  title =               {Temporal Logics and Model Checking for Fairly
                         Correct Systems},
  booktitle =           {{P}roceedings of the 21st {A}nnual {S}ymposium on
                         {L}ogic in {C}omputer {S}cience ({LICS}'06)},
  acronym =             {{LICS}'06},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {389-398},
  year =                {2006},
  month =               jul,
  doi =                 {10.1109/LICS.2006.49},
}
Liste des auteurs