D
[DSQ+15] Ankush Desai, Sanjit A. Seshia, Shaz Qadeer, David Broman et John C. Eidson. Approximate synchrony: An abstraction for distributed almost-synchronous systems. In CAV'15, Lecture Notes in Computer Science 9206, pages 429-448. Springer-Verlag, juillet 2015. 
@inproceedings{cav2015-DSQBE,
  author =              {Desai, Ankush and Seshia,Sanjit A. and Qadeer, Shaz
                         and Broman, David and Eidson, John C.},
  title =               {Approximate synchrony: An abstraction for
                         distributed almost-synchronous systems},
  editor =              {Kroening, Daniel and Pasareanu, Corina S.},
  booktitle =           {{P}roceedings of the 27th {I}nternational
                         {C}onference on {C}omputer {A}ided {V}erification
                         ({CAV}'15)},
  acronym =             {{CAV}'15},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {9206},
  pages =               {429-448},
  year =                {2015},
  month =               jul,
  doi =                 {10.1007/978-3-319-21668-3_25},
}
Liste des auteurs