W
[WL90] Pierre Wolper and Vinciane Lovinfosse. Verifying Properties of Large Sets of Processes with Network Invariants. In CAV'89, Lecture Notes in Computer Science 407, pages 68-80. Springer-Verlag, 1990. 
@inproceedings{cav1989-WL,
  author =              {Wolper, Pierre and Lovinfosse, Vinciane},
  title =               {Verifying Properties of Large Sets of Processes with
                         Network Invariants},
  editor =              {Sifakis, Joseph},
  booktitle =           {{P}roceedings of the 1st {I}nternational {W}orkshop
                         on {A}utomatic {V}erification {M}ethods for {F}inite
                         {S}tate {S}ystems ({CAV}'89)},
  acronym =             {{CAV}'89},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {407},
  pages =               {68-80},
  year =                {1990},
  confyear =            {1989},
  confmonth =           {6},
}
List of authors