B
[BH05] Dragan Bosnacki et Gerard J. Holzmann. Improving Spin's Partial-Order Reduction for Breadth-First Search. In SPIN'05, Lecture Notes in Computer Science 3639, pages 91-105. Springer-Verlag, avril 2005.
@inproceedings{spin2005-BH,
  author =              {Bosnacki, Dragan and Holzmann, Gerard J.},
  title =               {Improving {S}pin's Partial-Order Reduction for
                         Breadth-First Search},
  editor =              {Godefroid, Patrice},
  booktitle =           {{P}roceedings of the 12th {I}nternational {SPIN}
                         {W}orkshop ({SPIN}'05)},
  acronym =             {{SPIN}'05},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {3639},
  pages =               {91-105},
  year =                {2005},
  month =               apr,
  doi =                 {10.1007/11537328_10},
}
Liste des auteurs