V
[Var85] Moshe Y. Vardi. Automatic Verification of Probabilistic Concurrent Finite-State Programs. In FOCS'85, pages 327-338. IEEE Comp. Soc. Press, October 1985. 
@inproceedings{focs1985-Var,
  author =              {Vardi, Moshe Y.},
  title =               {Automatic Verification of Probabilistic Concurrent
                         Finite-State Programs},
  booktitle =           {{P}roceedings of the 26th {A}nnual {S}ymposium on
                         {F}oundations of {C}omputer {S}cience ({FOCS}'85)},
  acronym =             {{FOCS}'85},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {327-338},
  year =                {1985},
  month =               oct,
  doi =                 {10.1109/SFCS.1985.12},
}
List of authors