B
[BBF+03] Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, and Kim Guldstrand Larsen. Static Guard Analysis in Timed Automata Verification. In TACAS'03, Lecture Notes in Computer Science 2619, pages 254-270. Springer-Verlag, April 2003. 
@inproceedings{tacas2003-BBFL,
  author =              {Behrmann, Gerd and Bouyer, Patricia and Fleury,
                         Emmanuel and Larsen, Kim Guldstrand},
  title =               {Static Guard Analysis in Timed Automata
                         Verification},
  editor =              {Garavel, Hubert and Hatcliff, John},
  booktitle =           {{P}roceedings of the 9th {I}nternational
                         {C}onference on {T}ools and {A}lgorithms for
                         {C}onstruction and {A}nalysis of {S}ystems
                         ({TACAS}'03)},
  acronym =             {{TACAS}'03},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {2619},
  pages =               {254-270},
  year =                {2003},
  month =               apr,
}
List of authors