B
[BKM+06] Jeremy W. Bryans, Maciej Koutny, Laurent Mazaré, and Peter Y. A. Ryan. Opacity generalised to transition systems. In FAST'05, Lecture Notes in Computer Science 3866, pages 81-95. Springer-Verlag, 2006. 
@inproceedings{fast2005-BKMR,
  author =              {Bryans, Jeremy W. and Koutny, Maciej and Mazar{\'e},
                         Laurent and Ryan, Peter Y. A.},
  title =               {Opacity generalised to transition systems},
  editor =              {Dimitrakos, Theo and Martinelli, Fabio and Ryan,
                         Peter Y. A. and Schneider, Steve},
  booktitle =           {{R}evised {S}elected {P}apers of the 3rd
                         {I}nternational {W}orkshop on {F}ormal {A}spects in
                         {S}ecurity and {T}rust ({FAST}'05)},
  acronym =             {{FAST}'05},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {3866},
  pages =               {81-95},
  year =                {2006},
  confyear =            {2005},
  confmonth =           {7},
  doi =                 {10.1007/11679219_7},
}
List of authors