T
[Tre96] Jan Tretmans. Test Generation with Inputs, Outputs, and Quiescence. In TACAS'96, Lecture Notes in Computer Science 1055, pages 127-146. Springer-Verlag, mars 1996. 
@inproceedings{tacas1996-Tre,
  author =              {Tretmans, Jan},
  title =               {Test Generation with Inputs, Outputs, and
                         Quiescence},
  editor =              {Margaria, Tiziana and Steffen, Bernhard},
  booktitle =           {{P}roceedings of the 2nd {I}nternational {W}orkshop
                         on {T}ools and {A}lgorithms for {C}onstruction and
                         {A}nalysis of {S}ystems ({TACAS}'96)},
  acronym =             {{TACAS}'96},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1055},
  pages =               {127-146},
  year =                {1996},
  month =               mar,
  doi =                 {10.1007/3-540-61042-1_42},
}
Liste des auteurs