1990
[AD90] Rajeev Alur and David L. Dill. Automata For Modeling Real-Time Systems. In ICALP'90, Lecture Notes in Computer Science 443, pages 322-335. Springer-Verlag, July 1990. 
@inproceedings{icalp1990-AD,
  author =              {Alur, Rajeev and Dill, David L.},
  title =               {Automata For Modeling Real-Time Systems},
  editor =              {Paterson, Mike},
  booktitle =           {{P}roceedings of the 17th {I}nternational
                         {C}olloquium on {A}utomata, {L}anguages and
                         {P}rogramming ({ICALP}'90)},
  acronym =             {{ICALP}'90},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {443},
  pages =               {322-335},
  year =                {1990},
  month =               jul,
}
[BIS90] David A. Mix Barrington, Neil Immerman, and Howard Straubing. On Uniformity Within NC1. Journal of Computer and System Sciences 41(3):274-306. Academic Press, December 1990. 
@article{jcss41(3)-BIS,
  author =              {Barrington, David A. Mix and Immerman, Neil and
                         Straubing, Howard},
  title =               {On Uniformity Within {{\(\mathit{NC}^1\)}}},
  publisher =           {Academic Press},
  journal =             {Journal of Computer and System Sciences},
  volume =              {41},
  number =              {3},
  pages =               {274-306},
  year =                {1990},
  month =               dec,
}
[BRB90] Karl S. Brace, Richard L. Ruddel, and Randal E. Bryant. Efficient Implementation of a BDD package. In DAC'90, pages 40-45. IEEE Comp. Soc. Press, June 1990. 
@inproceedings{dac1990-BRB,
  author =              {Brace, Karl S. and Ruddel, Richard L. and Bryant,
                         Randal E.},
  title =               {Efficient Implementation of a {BDD} package},
  booktitle =           {{P}roceedings of the 27th {D}esign {A}utomation
                         {C}onference ({DAC}'90)},
  acronym =             {{DAC}'90},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {40-45},
  year =                {1990},
  month =               jun,
}
[Cou90] Bruno Courcelle. The Monadic Second-Order Logic of Graphs. I: Recognizable Sets of Finite Graphs. Information and Computation 85(1):12-75. Academic Press, March 1990. 
@article{icomp85(1)-Cou,
  author =              {Courcelle, Bruno},
  title =               {The Monadic Second-Order Logic of Graphs.
                         {I}:~{R}ecognizable Sets of Finite Graphs},
  publisher =           {Academic Press},
  journal =             {Information and Computation},
  volume =              {85},
  number =              {1},
  pages =               {12-75},
  year =                {1990},
  month =               mar,
}
[Dil90] David L. Dill. Timing Assumptions and Verification of Finite-State Concurrent Systems. In AVMFSS'89, Lecture Notes in Computer Science 407, pages 197-212. Springer-Verlag, 1990. 
@inproceedings{avmfss1989-dill,
  author =              {Dill, David L.},
  title =               {Timing Assumptions and Verification of Finite-State
                         Concurrent Systems},
  editor =              {Sifakis, Joseph},
  booktitle =           {{P}roceedings of the {I}nternational {W}orkshop on
                         {A}utomatic {V}erification {M}ethods for {F}inite
                         {S}tate {S}ystems ({AVMFSS}'89)},
  acronym =             {{AVMFSS}'89},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {407},
  pages =               {197-212},
  year =                {1990},
  confyear =            {1989},
  confmonth =           {6},
  doi =                 {10.1007/3-540-52148-8_17},
}
[Eme90] E. Allen Emerson. Temporal and Modal Logic. In Jan van Leeuwen (eds.), Handbook of Theoretical Computer Science. Elsevier, 1990. 
@incollection{HTCSb1990-Eme,
  author =              {Emerson, E. Allen},
  title =               {Temporal and Modal Logic},
  editor =              {van Leeuwen, Jan},
  booktitle =           {Handbook of Theoretical Computer Science},
  publisher =           {Elsevier},
  volume =              {B},
  pages =               {995-1072},
  chapter =             {16},
  year =                {1990},
}
[vG90] Rob van Glabbeek. The linear-time–branching-time spectrum. In CONCUR'90, Lecture Notes in Computer Science 458, pages 278-297. Springer-Verlag, August 1990. 
@inproceedings{concur1990-vGl,
  author =              {van Glabbeek, Rob},
  title =               {The linear-time--branching-time spectrum},
  editor =              {Baeten, Jos C. M. and Klop, Jan Willem},
  booktitle =           {{P}roceedings of the 1st {I}nternational
                         {C}onference on {C}oncurrency {T}heory
                         ({CONCUR}'90)},
  acronym =             {{CONCUR}'90},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {458},
  pages =               {278-297},
  year =                {1990},
  month =               aug,
}
[Joh90] David S. Johnson. A Catalog of Complexity Classes. In Jan van Leeuwen (eds.), Handbook of Theoretical Computer Science. Elsevier, 1990. 
@incollection{HTCSa1990-Joh,
  author =              {Johnson, David S.},
  title =               {A Catalog of Complexity Classes},
  editor =              {van Leeuwen, Jan},
  booktitle =           {Handbook of Theoretical Computer Science},
  publisher =           {Elsevier},
  volume =              {A},
  pages =               {67-161},
  chapter =             {2},
  year =                {1990},
}
[Koy90] Ron Koymans. Specifying Real-Time Properties with Metric Temporal Logic. Real-Time Systems 2(4):255-299. Kluwer Academic, 1990. 
@article{rts2(4)-Koy,
  author =              {Koymans, Ron},
  title =               {Specifying Real-Time Properties with Metric Temporal
                         Logic},
  publisher =           {Kluwer Academic},
  journal =             {Real-Time Systems},
  volume =              {2},
  number =              {4},
  pages =               {255-299},
  year =                {1990},
}
[KS90] Paris C. Kanellakis and Scott A. Smolka. CCS expressions finite state processes, and three problems of equivalence. Information and Computation 86(1):43-68. Academic Press, May 1990. 
@article{icomp86(1)-KS,
  author =              {Kanellakis, Paris C. and Smolka, Scott A.},
  title =               {{CCS} expressions finite state processes, and three
                         problems of equivalence},
  publisher =           {Academic Press},
  journal =             {Information and Computation},
  volume =              {86},
  number =              {1},
  pages =               {43-68},
  year =                {1990},
  month =               may,
}
[Lar90] Kim Guldstrand Larsen. Modal Specifications. In AVMFSS'89, Lecture Notes in Computer Science 407, pages 232-246. Springer-Verlag, 1990. 
@inproceedings{avmfss1989-Lar,
  author =              {Larsen, Kim Guldstrand},
  title =               {Modal Specifications},
  editor =              {Sifakis, Joseph},
  booktitle =           {{P}roceedings of the {I}nternational {W}orkshop on
                         {A}utomatic {V}erification {M}ethods for {F}inite
                         {S}tate {S}ystems ({AVMFSS}'89)},
  acronym =             {{AVMFSS}'89},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {407},
  pages =               {232-246},
  year =                {1990},
  confyear =            {1989},
  confmonth =           {6},
}
[MP90] Oded Maler and Amir Pnueli. Tight Bounds on the Complexity of Cascaded Decomposition of Automata. In FOCS'90, pages 672-682. IEEE Comp. Soc. Press, October 1990. 
@inproceedings{focs1990-MP,
  author =              {Maler, Oded and Pnueli, Amir},
  title =               {Tight Bounds on the Complexity of Cascaded
                         Decomposition of Automata},
  booktitle =           {{P}roceedings of the 31st {A}nnual {S}ymposium on
                         {F}oundations of {C}omputer {S}cience ({FOCS}'90)},
  acronym =             {{FOCS}'90},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {672-682},
  year =                {1990},
  month =               oct,
}
[MP90] Zohar Manna and Amir Pnueli. A Hierarchy of Temporal Properties. In PODC'90, pages 377-410. ACM Press, August 1990. 
@inproceedings{podc1990-MP,
  author =              {Manna, Zohar and Pnueli, Amir},
  title =               {A Hierarchy of Temporal Properties},
  booktitle =           {{P}roceedings of the 9th {ACM} {S}ymposium on
                         {P}rinciples of {D}istributed {C}omputing
                         ({PODC}'90)},
  acronym =             {{PODC}'90},
  publisher =           {ACM Press},
  pages =               {377-410},
  year =                {1990},
  month =               aug,
}
[dNV90] Rocco de Nicola and Frits Vaandrager. Action versus state based logics for transition systems. In Semantics of Systems of Concurrent Processes, Lecture Notes in Computer Science 469, pages 407-419. Springer-Verlag, April 1990. 
@inproceedings{litp1990-DV,
  author =              {de Nicola, Rocco and Vaandrager, Frits},
  title =               {Action versus state based logics for transition
                         systems},
  editor =              {Guessarian, Ir{\`e}ne},
  booktitle =           {Semantics of Systems of Concurrent Processes},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {469},
  pages =               {407-419},
  year =                {1990},
  month =               apr,
  doi =                 {10.1007/3-540-53479-2_17},
}
[PR90] Amir Pnueli and Roni Rosner. Distributed Reactive Systems Are Hard to Synthesize. In FOCS'90, pages 746-757. IEEE Comp. Soc. Press, October 1990. 
@inproceedings{focs1990-PR,
  author =              {Pnueli, Amir and Rosner, Roni},
  title =               {Distributed Reactive Systems Are Hard to Synthesize},
  booktitle =           {{P}roceedings of the 31st {A}nnual {S}ymposium on
                         {F}oundations of {C}omputer {S}cience ({FOCS}'90)},
  acronym =             {{FOCS}'90},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {746-757},
  year =                {1990},
  month =               oct,
}
[Tho90] Wolfgang Thomas. Automata on Infinite Objects. In Jan van Leeuwen (eds.), Handbook of Theoretical Computer Science. Elsevier, 1990. 
@incollection{HBTCS2-Tho,
  author =              {Thomas, Wolfgang},
  title =               {Automata on Infinite Objects},
  editor =              {van Leeuwen, Jan},
  booktitle =           {Handbook of Theoretical Computer Science},
  publisher =           {Elsevier},
  volume =              {B},
  pages =               {133-191},
  year =                {1990},
  doi =                 {10.1016/b978-0-444-88074-1.50009-3},
}
[Wag90] Klaus W. Wagner. Bounded Query Classes. SIAM Journal on Computing 19(5):833-846. Society for Industrial and Applied Math., October 1990. 
@article{siamjcomp19(5)-Wag,
  author =              {Wagner, Klaus W.},
  title =               {Bounded Query Classes},
  publisher =           {Society for Industrial and Applied Math.},
  journal =             {SIAM Journal on Computing},
  volume =              {19},
  number =              {5},
  pages =               {833-846},
  year =                {1990},
  month =               oct,
}
[Wan90] Hao Wang. Computation, Logic, Philosophy. Mathematics ans its applications 2. Springer-Verlag, 1990. 
@book{Wang1990,
  author =              {Wang, Hao},
  title =               {Computation, Logic, Philosophy},
  publisher =           {Springer-Verlag},
  series =              {Mathematics ans its applications},
  volume =              {2},
  year =                {1990},
  doi =                 {10.1007/978-94-009-2356-0},
}
[WL90] Pierre Wolper and Vinciane Lovinfosse. Verifying Properties of Large Sets of Processes with Network Invariants. In CAV'89, Lecture Notes in Computer Science 407, pages 68-80. Springer-Verlag, 1990. 
@inproceedings{cav1989-WL,
  author =              {Wolper, Pierre and Lovinfosse, Vinciane},
  title =               {Verifying Properties of Large Sets of Processes with
                         Network Invariants},
  editor =              {Sifakis, Joseph},
  booktitle =           {{P}roceedings of the 1st {I}nternational {W}orkshop
                         on {A}utomatic {V}erification {M}ethods for {F}inite
                         {S}tate {S}ystems ({CAV}'89)},
  acronym =             {{CAV}'89},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {407},
  pages =               {68-80},
  year =                {1990},
  confyear =            {1989},
  confmonth =           {6},
}
List of authors