1992
[ACD+92] Rajeev Alur, Costas Courcoubetis, David L. Dill, Nicolas Halbwachs, and Howard Wong-Toi. An Implementation of three algorithms for timing verification based on automata emptiness. In RTSS'92, pages 157-166. IEEE Comp. Soc. Press, December 1992. 
@inproceedings{rts1992-ACDHW,
  author =              {Alur, Rajeev and Courcoubetis, Costas and Dill,
                         David L. and Halbwachs, Nicolas and Wong{-}Toi,
                         Howard},
  title =               {An Implementation of three algorithms for timing
                         verification based on automata emptiness},
  booktitle =           {{P}roceedings of the 13th {S}ymposium on {R}eal-Time
                         {S}ystems ({RTSS}'92)},
  acronym =             {{RTSS}'92},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {157-166},
  year =                {1992},
  month =               dec,
}
[AH92] Rajeev Alur and Thomas A. Henzinger. Logics and Models of Real Time: A Survey. In REX'91, Lecture Notes in Computer Science 600, pages 74-106. Springer-Verlag, 1992. 
@inproceedings{rex1991-AH,
  author =              {Alur, Rajeev and Henzinger, Thomas A.},
  title =               {Logics and Models of Real Time: A~Survey},
  editor =              {de~Bakker, Jaco W. and Huizing, Cornelis and de
                         Roever, Willem-Paul and Rozenberg, Grzegorz},
  booktitle =           {{R}eal-{T}ime: {T}heory in {P}ractice, {P}roceedings
                         of {REX} {W}orkshop~1991 ({REX}'91)},
  acronym =             {{REX}'91},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {600},
  pages =               {74-106},
  year =                {1992},
  confyear =            {1991},
  confmonth =           {6},
}
[AH92] Rajeev Alur and Thomas A. Henzinger. Back to the Future: Towards a Theory of Timed Regular Languages. In FOCS'92, pages 177-186. IEEE Comp. Soc. Press, October 1992. 
@inproceedings{focs1992-AH,
  author =              {Alur, Rajeev and Henzinger, Thomas A.},
  title =               {Back to the Future: Towards a Theory of Timed
                         Regular Languages},
  booktitle =           {{P}roceedings of the 33rd {A}nnual {S}ymposium on
                         {F}oundations of {C}omputer {S}cience ({FOCS}'92)},
  acronym =             {{FOCS}'92},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {177-186},
  year =                {1992},
  month =               oct,
}
[AL92] Martín Abadi and Leslie Lamport. An old-fashioned recipe for real time. In REX'91, Lecture Notes in Computer Science 600, pages 1-27. Springer-Verlag, 1992. 
@inproceedings{rex1991-AL,
  author =              {Abadi, Mart{\'\i}n and Lamport, Leslie},
  title =               {An old-fashioned recipe for real time},
  editor =              {de~Bakker, Jaco W. and Huizing, Cornelis and de
                         Roever, Willem-Paul and Rozenberg, Grzegorz},
  booktitle =           {{R}eal-{T}ime: {T}heory in {P}ractice, {P}roceedings
                         of {REX} {W}orkshop~1991 ({REX}'91)},
  acronym =             {{REX}'91},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {600},
  pages =               {1-27},
  year =                {1992},
  confyear =            {1991},
  confmonth =           {6},
  doi =                 {10.1007/BFb0031985},
}
[BBC92] Danièle Beauquier, Jean Berstel, and Philippe Chrétienne. Éléments d'algorithmique. Masson, 1992. 
@book{BBC92,
  author =              {Beauquier, Dani{\`e}le and Berstel, Jean and
                         Chr{\'e}tienne, {\relax Ph}ilippe},
  title =               {{\'E}l{\'e}ments d'algorithmique},
  publisher =           {Masson},
  year =                {1992},
}
[BCG+92] Samuel R. Buss, Stephen A. Cook, Vineet Gupta, and Vijaya Ramachandran. An Optimal Parallel Algorithm for Formula Evaluation. SIAM Journal on Computing 21(4):755-780. Society for Industrial and Applied Math., August 1992. 
@article{siamcomp21(4)-BCGR,
  author =              {Buss, Samuel R. and Cook, Stephen A. and Gupta,
                         Vineet and Ramachandran, Vijaya},
  title =               {An Optimal Parallel Algorithm for Formula
                         Evaluation},
  publisher =           {Society for Industrial and Applied Math.},
  journal =             {SIAM Journal on Computing},
  volume =              {21},
  number =              {4},
  pages =               {755-780},
  year =                {1992},
  month =               aug,
}
[BCM+92] Jerry R. Burch, Edmund M. Clarke, Kenneth L. McMillan, David L. Dill, and L. J. Hwang. Symbolic model checking: 1020 states and beyond. Information and Computation 98(2):142-170. Academic Press, June 1992. 
@article{icomp98(2)-BCMDH,
  author =              {Burch, Jerry R. and Clarke, Edmund M. and McMillan,
                         Kenneth L. and Dill, David L. and Hwang, L. J.},
  title =               {Symbolic model checking: {\(10^{20}\)} states and
                         beyond},
  publisher =           {Academic Press},
  journal =             {Information and Computation},
  volume =              {98},
  number =              {2},
  pages =               {142-170},
  year =                {1992},
  month =               jun,
}
[BCO+92] François Baccelli, Guy Cohen, Geert Jan Olsder, and Jean-Pierre Quadrat. Shynchronization and Linearity. An Algebra For Discrete Event Systems. John Wiley & Sons, 1992. 
@book{BCOQ-des2001,
  author =              {Baccelli, Fran{\c c}ois and Cohen, Guy and Olsder,
                         Geert Jan and Quadrat, Jean-Pierre},
  title =               {Shynchronization and Linearity. An Algebra For
                         Discrete Event Systems},
  publisher =           {John Wiley \& Sons},
  year =                {1992},
  url =                 {http://www-rocq.inria.fr/metalau/cohen/SED/book-online.html},
}
[BGS92] José Balcázar, Joaquim Gabarró, and Miklós Sántha. Deciding bisimilarity is P-complete. Formal Aspects of Computing 4(1 supplement):638-648. Springer-Verlag, November 1992. 
@article{fac4(1sup)-BGS,
  author =              {Balc{\'a}zar, Jos{\'e} and Gabarr{\'o}, Joaquim and
                         S{\'a}ntha, Mikl{\'o}s},
  title =               {Deciding bisimilarity is {P}-complete},
  publisher =           {Springer-Verlag},
  journal =             {Formal Aspects of Computing},
  volume =              {4},
  number =              {1 supplement},
  pages =               {638-648},
  year =                {1992},
  month =               nov,
}
[CS92] Rance Cleaveland and Bernhard Steffen. A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus. Formal Methods in System Design 2(2):121-147. Kluwer Academic, 1992. 
@article{fmsd2(2)-CS,
  author =              {Cleaveland, Rance and Steffen, Bernhard},
  title =               {A Linear-Time Model-Checking Algorithm for the
                         Alternation-Free Modal Mu-Calculus},
  publisher =           {Kluwer Academic},
  journal =             {Formal Methods in System Design},
  volume =              {2},
  number =              {2},
  pages =               {121-147},
  year =                {1992},
  doi =                 {10.1007/BF01383878},
}
[CY92] Costas Courcoubetis and Mihalis Yannakakis. Minimum and Maximum Delay Problems in Real-Time Systems. Formal Methods in System Design 1(4):385-415. Kluwer Academic, December 1992. 
@article{fmsd1(4)-CY,
  author =              {Courcoubetis, Costas and Yannakakis, Mihalis},
  title =               {Minimum and Maximum Delay Problems in Real-Time
                         Systems},
  publisher =           {Kluwer Academic},
  journal =             {Formal Methods in System Design},
  volume =              {1},
  number =              {4},
  pages =               {385-415},
  year =                {1992},
  month =               dec,
}
[EMS+92] E. Allen Emerson, Aloysius Ka-Lau Mok, A. Prasad Sistla, and Jayashankar Srinivasan. Quantitative Temporal Reasoning. Real-Time Systems 4:331-352. Kluwer Academic, 1992. 
@article{rts4()-EMSS,
  author =              {Emerson, E. Allen and Mok, Aloysius Ka-Lau and
                         Sistla, A. Prasad and Srinivasan, Jayashankar},
  title =               {Quantitative Temporal Reasoning},
  publisher =           {Kluwer Academic},
  journal =             {Real-Time Systems},
  volume =              {4},
  pages =               {331-352},
  year =                {1992},
}
[GS92] Steven M. German and A. Prasad Sistla. Reasoning about Systems with Many Processes. Journal of the ACM 39(3):675-735. ACM Press, July 1992. 
@article{jacm39(3)-GS,
  author =              {German, Steven M. and Sistla, A. Prasad},
  title =               {Reasoning about Systems with Many Processes},
  publisher =           {ACM Press},
  journal =             {Journal of the~ACM},
  volume =              {39},
  number =              {3},
  pages =               {675-735},
  year =                {1992},
  month =               jul,
  doi =                 {10.1145/146637.146681},
}
[HMP92] Thomas A. Henzinger, Zohar Manna, and Amir Pnueli. What Good are Digital Clocks?. In ICALP'92, Lecture Notes in Computer Science 623, pages 545-558. Springer-Verlag, July 1992. 
@inproceedings{icalp1992-HMP,
  author =              {Henzinger, Thomas A. and Manna, Zohar and Pnueli,
                         Amir},
  title =               {What Good are Digital Clocks?},
  editor =              {Kuich, Werner},
  booktitle =           {{P}roceedings of the 19th {I}nternational
                         {C}olloquium on {A}utomata, {L}anguages and
                         {P}rogramming ({ICALP}'92)},
  acronym =             {{ICALP}'92},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {623},
  pages =               {545-558},
  year =                {1992},
  month =               jul,
}
[HMP92] Thomas A. Henzinger, Zohar Manna, and Amir Pnueli. Timed Transition Systems. In REX'91, Lecture Notes in Computer Science 600, pages 226-251. Springer-Verlag, 1992. 
@inproceedings{rex1991-HMP,
  author =              {Henzinger, Thomas A. and Manna, Zohar and Pnueli,
                         Amir},
  title =               {Timed Transition Systems},
  editor =              {de~Bakker, Jaco W. and Huizing, Cornelis and de
                         Roever, Willem-Paul and Rozenberg, Grzegorz},
  booktitle =           {{R}eal-{T}ime: {T}heory in {P}ractice, {P}roceedings
                         of {REX} {W}orkshop~1991 ({REX}'91)},
  acronym =             {{REX}'91},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {600},
  pages =               {226-251},
  year =                {1992},
  confyear =            {1991},
  confmonth =           {6},
}
[Koz92] Dexter C. Kozen. The design and analysis of algorithms. Springer-Verlag, 1992. 
@book{Koz92-daa,
  author =              {Kozen, Dexter C.},
  title =               {The design and analysis of algorithms},
  publisher =           {Springer-Verlag},
  year =                {1992},
  doi =                 {10.1007/978-1-4612-4400-4},
}
[Lar92] Kim Skak Larsen. Length of Maximal Common Subsequences. Technical Report PB-426, DAIMI, Faculty of Science, University of Aarhus, Denmark, October 1992. 
@techreport{daimi-PB426,
  author =              {Larsen, Kim Skak},
  title =               {Length of Maximal Common Subsequences},
  number =              {PB-426},
  year =                {1992},
  month =               oct,
  institution =         {DAIMI, Faculty of Science, University of Aarhus,
                         Denmark},
  type =                {Technical Report},
}
[LS92] Nancy Lynch and Nir Shavit. Timing-Based Mutual Exclusion. In RTSS'92, pages 2-11. IEEE Comp. Soc. Press, December 1992. 
@inproceedings{rts1992-LS,
  author =              {Lynch, Nancy and Shavit, Nir},
  title =               {Timing-Based Mutual Exclusion},
  booktitle =           {{P}roceedings of the 13th {S}ymposium on {R}eal-Time
                         {S}ystems ({RTSS}'92)},
  acronym =             {{RTSS}'92},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {2-11},
  year =                {1992},
  month =               dec,
}
[NYY92] Anil Nerode, Alexander Yakhnis, and Vladimir Yakhnis. Concurrent programs as strategies in games. In Logic from Computer Science, Mathematical Sciences Research Institute Publications 21, pages 405-479. Springer-Verlag, 1992. 
@inproceedings{lcs1989-NYY,
  author =              {Nerode, Anil and Yakhnis, Alexander and Yakhnis,
                         Vladimir},
  title =               {Concurrent programs as strategies in games},
  editor =              {Moschovakis, Yiannis N.},
  booktitle =           {{L}ogic from {C}omputer {S}cience},
  publisher =           {Springer-Verlag},
  series =              {Mathematical Sciences Research Institute
                         Publications},
  volume =              {21},
  pages =               {405-479},
  year =                {1992},
  confyear =            {1989},
  confmonth =           {11},
}
[Ost92] Jonathan S. Ostroff. Formal methods for the specification and design of real-time safety critical systems. Journal of Systems and Software 18(1):33-60. Elsevier, April 1992. 
@article{jss18(1)-Ost,
  author =              {Ostroff, Jonathan S.},
  title =               {Formal methods for the specification and design of
                         real-time safety critical systems},
  publisher =           {Elsevier},
  journal =             {Journal of Systems and Software},
  volume =              {18},
  number =              {1},
  pages =               {33-60},
  year =                {1992},
  month =               apr,
  doi =                 {10.1016/0164-1212(92)90045-L},
}
[RMD+92] Y. Srinivas Ramakrishna, Louise E. Moser, Laura K. Dillon, P. Michael Melliar-Smith, and George Kutty. An Automata Theoretic Decision Procedure for Propositional Temporal Logic with Since and Until. Fundamenta Informaticae 17(3):272-282. IOS Press, November 1992. 
@article{fundi17(3)-RMDMK,
  author =              {Ramakrishna, Y. Srinivas and Moser, Louise E. and
                         Dillon, Laura K. and Melliar{-}Smith, P. Michael and
                         Kutty, George},
  title =               {An Automata Theoretic Decision Procedure for
                         Propositional Temporal Logic with Since and Until},
  publisher =           {IOS Press},
  journal =             {Fundamenta Informaticae},
  volume =              {17},
  number =              {3},
  pages =               {272-282},
  year =                {1992},
  month =               nov,
}
[Saf92] Shmuel Safra. Exponential Determinization for ω-Automata with Strong-Fairness Acceptance Condition. In STOC'92, pages 272-282. ACM Press, 1992. 
@inproceedings{stoc1992-Saf,
  author =              {Safra, Shmuel},
  title =               {Exponential Determinization for
                         {\(\omega\)}-Automata with Strong-Fairness
                         Acceptance Condition},
  booktitle =           {{P}roceedings of the 24th {A}nnual {ACM} {S}ymposium
                         on the {T}heory of {C}omputing ({STOC}'92)},
  acronym =             {{STOC}'92},
  publisher =           {ACM Press},
  pages =               {272-282},
  year =                {1992},
}
[Wig92] Avi Wigderson. The Complexity of Graph Connectivity. In MFCS'92, Lecture Notes in Computer Science 629, pages 112-132. Springer-Verlag, August 1992. 
@inproceedings{mfcs1992-Wig,
  author =              {Wigderson, Avi},
  title =               {The Complexity of Graph Connectivity},
  editor =              {Havel, Ivan M. and Koubek, V{\'a}clav},
  booktitle =           {{P}roceedings of the 17th {I}nternational
                         {S}ymposium on {M}athematical {F}oundations of
                         {C}omputer {S}cience ({MFCS}'92)},
  acronym =             {{MFCS}'92},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {629},
  pages =               {112-132},
  year =                {1992},
  month =               aug,
}
List of authors