Y
[Yan04] Mihalis Yannakakis. Testing, Optimization, and Games. In ICALP'04, Lecture Notes in Computer Science, pages 28-45. Springer-Verlag, 2004. 
@inproceedings{icalp2004-Yan,
  author =              {Yannakakis, Mihalis},
  title =               {Testing, Optimization, and Games},
  booktitle =           {{P}roceedings of the 31st {I}nternational
                         {C}olloquium on {A}utomata, {L}anguages and
                         {P}rogramming ({ICALP}'04)},
  acronym =             {{ICALP}'04},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  pages =               {28-45},
  year =                {2004},
  doi =                 {10.1007/978-3-540-27836-8_6},
}
[Yap06] Chee Yap. Is it Really Zero?. KIAS Newsletter 33. 2006. 
@article{kias33-Yap,
  author =              {Yap, Chee},
  title =               {Is it Really Zero?},
  journal =             {KIAS Newsletter},
  volume =              {33},
  year =                {2006},
}
[Yi91] Wang Yi. CCS + Time = An Interleaving Model for Real Time Systems. In ICALP'91, Lecture Notes in Computer Science 510, pages 217-228. Springer-Verlag, July 1991. 
@inproceedings{icalp1991-Yi,
  author =              {Yi, Wang},
  title =               {{CCS} + Time = An~Interleaving Model for Real Time
                         Systems},
  editor =              {Albert, Javier Leach and Monien, Burkhard and
                         Rodr{\'\i}guez{-}Artalejo, Mario},
  booktitle =           {{P}roceedings of the 19th {I}nternational
                         {C}olloquium on {A}utomata, {L}anguages and
                         {P}rogramming ({ICALP}'91)},
  acronym =             {{ICALP}'91},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {510},
  pages =               {217-228},
  year =                {1991},
  month =               jul,
}
[Yov97] Sergio Yovine. Kronos: A verification tool for real-time systems. International Journal on Software Tools for Technology Transfer 1(1-2):123-133. Springer-Verlag, October 1997. 
@article{sttt1(1-2)-Yov,
  author =              {Yovine, Sergio},
  title =               {Kronos: A verification tool for real-time systems},
  publisher =           {Springer-Verlag},
  journal =             {International Journal on Software Tools for
                         Technology Transfer},
  volume =              {1},
  number =              {1-2},
  pages =               {123-133},
  year =                {1997},
  month =               oct,
}
[YPD95] Wang Yi, Paul Pettersson, and Mats Daniels. Automatic verification of real-time communicating systems by constraint-solving. In FORTE'94, IFIP Conference Proceedings 6, pages 243-258. Chapman & Hall, 1995. 
@inproceedings{forte1994-YPD,
  author =              {Yi, Wang and Pettersson, Paul and Daniels, Mats},
  title =               {Automatic verification of real-time communicating
                         systems by constraint-solving},
  editor =              {Hogrefe, Dieter and Leue, Stefan},
  booktitle =           {{P}roceedings of the 7th {IFIP} {WG}6.1
                         {I}nternational {C}onference on {F}ormal
                         {D}escription {T}echniques ({FORTE}'94)},
  acronym =             {{FORTE}'94},
  publisher =           {Chapman \& Hall},
  series =              {IFIP Conference Proceedings},
  volume =              {6},
  pages =               {243-258},
  year =                {1995},
  confyear =            {1994},
  confmonth =           {10},
}
List of authors