Q
[QBI04] Michael Melholt Quottrup, Thomas Bak, and Roozbeh Izadi-Zamanabadi. Multi-robot planning: a timed automata approach. In ICRA'04, pages 4417-4422. IEEE Robotics & Automation Soc., April 2004.
@inproceedings{icra2004-QBI,
  author =              {Quottrup, Michael Melholt and Bak, Thomas and
                         Izadi{-}Zamanabadi, Roozbeh},
  title =               {Multi-robot planning: a~timed automata approach},
  booktitle =           {{P}roceedings of the 2004 {IEEE} {I}nternational
                         {C}onference on {R}obotics and {A}utomation
                         ({ICRA}'04)},
  acronym =             {{ICRA}'04},
  publisher =           {IEEE Robotics~\& Automation Soc.},
  pages =               {4417-4422},
  year =                {2004},
  month =               apr,
  doi =                 {10.1109/ROBOT.2004.1302413},
}
[QS82] Jean-Pierre Queille and Joseph Sifakis. Specification and verification of concurrent systems in CESAR. In SOP'82, Lecture Notes in Computer Science 137, pages 337-351. Springer-Verlag, April 1982.
@inproceedings{sop1982-QS,
  author =              {Queille, Jean-Pierre and Sifakis, Joseph},
  title =               {Specification and verification of concurrent systems
                         in {CESAR}},
  editor =              {Dezani{-}Ciancaglini, Mariangiola and Montanari,
                         Ugo},
  booktitle =           {{P}roceedings of the 5th {I}nternational {S}ymposium
                         on {P}rogramming ({SOP}'82)},
  acronym =             {{SOP}'82},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {137},
  pages =               {337-351},
  year =                {1982},
  month =               apr,
  doi =                 {10.1007/3-540-11494-7_22},
}
[QS82] Jean-Pierre Queille and Joseph Sifakis. A Temporal Logic to Deal with Fairness in Transition Systems. In FOCS'82, pages 217-225. IEEE Comp. Soc. Press, November 1982.
@inproceedings{focs1982-QS,
  author =              {Queille, Jean-Pierre and Sifakis, Joseph},
  title =               {A~Temporal Logic to Deal with Fairness in Transition
                         Systems},
  booktitle =           {{P}roceedings of the 23rd {A}nnual {S}ymposium on
                         {F}oundations of {C}omputer {S}cience ({FOCS}'82)},
  acronym =             {{FOCS}'82},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {217-225},
  year =                {1982},
  month =               nov,
}
[Qua11] Karin Quaas. MSO logics for weighted timed automata. Formal Methods in System Design 38(3):193-222. Springer-Verlag, June 2011.
@article{fmsd38(3)-quaas,
  author =              {Quaas, Karin},
  title =               {{MSO} logics for weighted timed automata},
  publisher =           {Springer-Verlag},
  journal =             {Formal Methods in System Design},
  volume =              {38},
  number =              {3},
  pages =               {193-222},
  year =                {2011},
  month =               jun,
  doi =                 {10.1007/s10703-011-0112-6},
}
[Qua11] Karin Quaas. On the Interval-Bound Problem for Weighted Timed Automata. In LATA'11, Lecture Notes in Computer Science 6638, pages 452-464. Springer-Verlag, May 2011.
@inproceedings{lata2011-quaas,
  author =              {Quaas, Karin},
  title =               {On the Interval-Bound Problem for Weighted Timed
                         Automata},
  editor =              {Dediu, Adrian Horia and Inenaga, Shunsuke and
                         Mart{\'\i}n-Vide, Carlos},
  booktitle =           {{P}roceedings of the 5th {I}nternational
                         {C}onference on {L}anguage and {A}utomata {T}heory
                         and {A}pplications ({LATA}'11)},
  acronym =             {{LATA}'11},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {6638},
  pages =               {452-464},
  year =                {2011},
  month =               may,
}