B
[BJM+02] Marius Bozga, Hou Jianmin, Oded Maler, and Sergio Yovine. Verification of Asynchronous Circuits using Timed Automata. In TPTS'02, Electronic Notes in Theoretical Computer Science 65(6), pages 47-59. Elsevier, April 2002. 
@inproceedings{tpts2002-BJMY,
  author =              {Bozga, Marius and Jianmin, Hou and Maler, Oded and
                         Yovine, Sergio},
  title =               {Verification of Asynchronous Circuits using Timed
                         Automata},
  editor =              {Asarin, Eugene and Maler, Oded and Yovine, Sergio},
  booktitle =           {{P}roceedings of the 1st {W}orkshop on {T}heory and
                         {P}ractice of {T}imed {S}ystems ({TPTS}'02)},
  acronym =             {{TPTS}'02},
  publisher =           {Elsevier},
  series =              {Electronic Notes in Theoretical Computer Science},
  volume =              {65},
  number =              {6},
  pages =               {47-59},
  year =                {2002},
  month =               apr,
}
List of authors