V
[VW94] Moshe Y. Vardi et Pierre Wolper. Reasoning about Infinite Computations. Information and Computation 115(1):1-37. Academic Press, novembre 1994. 
@article{icomp115(1)-VW,
  author =              {Vardi, Moshe Y. and Wolper, Pierre},
  title =               {Reasoning about Infinite Computations},
  publisher =           {Academic Press},
  journal =             {Information and Computation},
  volume =              {115},
  number =              {1},
  pages =               {1-37},
  year =                {1994},
  month =               nov,
}
Liste des auteurs