N
[dN86] Rocco de Nicola. Extensional Equivalences for Transitions Systems. Acta Informatica 24(2):211-237. Springer-Verlag, 1986.
@article{acta24(2)-Den,
  author =              {de Nicola, Rocco},
  title =               {Extensional Equivalences for Transitions Systems},
  publisher =           {Springer-Verlag},
  journal =             {Acta Informatica},
  volume =              {24},
  number =              {2},
  pages =               {211-237},
  year =                {1986},
}
[Nas50] John F. Nash. Equilibrium Points in n-Person Games. Proceedings of the National Academy of Sciences 36(1):48-49. National Academy of Sciences of the United States of America, January 1950.
@article{pnas36(1)-Nash,
  author =              {Nash, Jr., John F.},
  title =               {Equilibrium Points in {\(n\)}-Person Games},
  publisher =           {National Academy of Sciences of the United States of
                         America},
  journal =             {Proceedings of the National Academy of Sciences},
  volume =              {36},
  number =              {1},
  pages =               {48-49},
  year =                {1950},
  month =               jan,
}
[Nas51] John F. Nash. Non-cooperative Games. Annals of Mathematics 54(2):286-295. Princeton University, September 1951.
@article{am54(2)-Nash,
  author =              {Nash, Jr., John F.},
  title =               {Non-cooperative Games},
  publisher =           {Princeton University},
  journal =             {Annals of Mathematics},
  volume =              {54},
  number =              {2},
  pages =               {286-295},
  year =                {1951},
  month =               sep,
}
[dNH84] Rocco de Nicola and Matthew C. B. Hennessy. Testing Equivalence for Processes. Theoretical Computer Science 34:83-133. Elsevier, 1984.
@article{tcs34()-DH,
  author =              {de Nicola, Rocco and Hennessy, Matthew C. B.},
  title =               {Testing Equivalence for Processes},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {34},
  pages =               {83-133},
  year =                {1984},
}
[Nic08] Dejan Nickovic. Checking Timed and Hybrid Properties: Theory and Applications. PhD thesis, Lab. VERIMAG, Grenoble, France, October 2008.
@phdthesis{phd-nickovic,
  author =              {Nickovic, Dejan},
  title =               {Checking Timed and Hybrid Properties: Theory and
                         Applications},
  year =                {2008},
  month =               oct,
  school =              {Lab. VERIMAG, Grenoble, France},
}
[Nie02] Frank Nießner. Non-deterministic tree automata. In Erich Grädel, Wolfgang Thomas, and Thomas Wilke (eds.), Automata, Logics, and Infinite Games, Lecture Notes in Computer Science 2500, pages 227-232. Springer-Verlag, 2002.
@incollection{lncs2500-niessner,
  author =              {Nie{\ss}ner, Frank},
  title =               {Non-deterministic tree automata},
  editor =              {Gr{\"a}del, Erich and Thomas, Wolfgang and Wilke,
                         Thomas},
  booktitle =           {Automata, Logics, and Infinite Games},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {2500},
  pages =               {227-232},
  year =                {2002},
}
[Nis94] Noam Nisan. RL ⊆SC. Computational Complexity 4:1-11. Birkhäuser, 1994.
@article{cc4()-Nis,
  author =              {Nisan, Noam},
  title =               {\(RL \subseteq SC\)},
  publisher =           {Birkh{\"a}user},
  journal =             {Computational Complexity},
  volume =              {4},
  pages =               {1-11},
  year =                {1994},
}
[Niw97] Damian Niwiński. Fixed point characterization of infinite behavior of finite-state systems. Theoretical Computer Science 189(1-2):1-69. Elsevier, December 1997.
@article{tcs189(1-2)-Niw,
  author =              {Niwi{\'n}ski, Damian},
  title =               {Fixed point characterization of infinite behavior of
                         finite-state systems},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {189},
  number =              {1-2},
  pages =               {1-69},
  year =                {1997},
  month =               dec,
  doi =                 {10.1016/S0304-3975(97)00039-X},
}
[Niw02] Damian Niwiński. μ-calculus via Games. In CSL'02, Lecture Notes in Computer Science 2471, pages 27-43. Springer-Verlag, September 2002.
@inproceedings{csl2002-Niw,
  author =              {Niwi{\'n}ski, Damian},
  title =               {{\(\mu\)}-calculus via Games},
  booktitle =           {{P}roceedings of the 16th {I}nternational {W}orkshop
                         on {C}omputer {S}cience {L}ogic ({CSL}'02)},
  acronym =             {{CSL}'02},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {2471},
  pages =               {27-43},
  year =                {2002},
  month =               sep,
}
[NOK10] Takeshi Nagaoka, Kozo Okano, and Shinji Kusumoto. An abstraction refinement technique for timed automata based on counterexample-guided abstraction refinement loop. IEICE Transactions on Information and Systems 5(5):994-1005. Institute of Electronics, Information and Communication Engineers, May 2010.
@article{IEICEtransinfE93D(5)-NOK,
  author =              {Nagaoka, Takeshi and Okano, Kozo and Kusumoto,
                         Shinji},
  title =               {An abstraction refinement technique for timed
                         automata based on counterexample-guided abstraction
                         refinement loop},
  publisher =           {Institute of Electronics, Information and
                         Communication Engineers},
  journal =             {IEICE Transactions on Information and Systems},
  volume =              {5},
  number =              {5},
  pages =               {994-1005},
  year =                {2010},
  month =               may,
  doi =                 {10.1587/transinf.E93.D.994},
}
[NOS+93] Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, and Sergio Yovine. An Approach to the Description and Analysis of Hybrid Systems. In HSCC'92, Lecture Notes in Computer Science 736, pages 149-178. Springer-Verlag, 1993.
@inproceedings{hscc1992-NOSY,
  author =              {Nicollin, Xavier and Olivero, Alfredo and Sifakis,
                         Joseph and Yovine, Sergio},
  title =               {An Approach to the Description and Analysis of
                         Hybrid Systems},
  editor =              {Grossman, Robert L. and Nerode, Anil and Ravn,
                         Anders P. and Rischel, Hans},
  booktitle =           {{H}ybrid {S}ystems ({HSCC}'92)},
  acronym =             {{HSCC}'92},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {736},
  pages =               {149-178},
  year =                {1993},
}
[NRT+07] Noam Nisan, Tim Roughgarden, Éva Tardos, and Vijay V. Vazirani. Algorithmic Game Theory. Cambridge University Press, 2007.
@book{agt2007-NRTV,
  title =               {Algorithmic Game Theory},
  editor =              {Nisan, Noam and Roughgarden, Tim and Tardos, {\'E}va
                         and Vazirani, Vijay V.},
  booktitle =           {Algorithmic Game Theory},
  publisher =           {Cambridge University Press},
  year =                {2007},
}
[NS03] Brian Nielsen and Arne Skou. Automated test generation from timed automata. International Journal on Software Tools for Technology Transfer 5(1):59-77. Springer-Verlag, November 2003.
@article{sttt5(1)-NS,
  author =              {Nielsen, Brian and Skou, Arne},
  title =               {Automated test generation from timed automata},
  publisher =           {Springer-Verlag},
  journal =             {International Journal on Software Tools for
                         Technology Transfer},
  volume =              {5},
  number =              {1},
  pages =               {59-77},
  year =                {2003},
  month =               nov,
  doi =                 {10.1007/s10009-002-0094-1},
}
[NSL+12] Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong, and Yan Liu. Improved BDD-Based Discrete Analysis of Timed Systems. In FM'12, Lecture Notes in Computer Science 7436, pages 326-340. Springer-Verlag, August 2012.
@inproceedings{fm2012-NSLDL,
  author =              {Nguyen, Truong Khanh and Sun, Jun and Liu, Yang and
                         Dong, Jin Song and Liu, Yan},
  title =               {Improved {BDD}-Based Discrete Analysis of Timed
                         Systems},
  editor =              {Giannakopoulou, Dimitra and M{\'e}ry, Dominique},
  booktitle =           {{P}roceedings of the 18th {I}nternational
                         {S}ymposium on {F}ormal {M}ethods ({FM}'12)},
  acronym =             {{FM}'12},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {7436},
  pages =               {326-340},
  year =                {2012},
  month =               aug,
  doi =                 {10.1007/978-3-642-32759-9_28},
}
[NTS95] Noam Nisan and Amnon Ta-Shma. Symmetric LOGSPACE is Closed Under Complement. In STOC'95, pages 140-146. ACM Press, May 1995.
@inproceedings{stoc1995-NT,
  author =              {Nisan, Noam and Ta-Shma, Amnon},
  title =               {Symmetric {LOGSPACE} is Closed Under Complement},
  booktitle =           {{P}roceedings of the 27th {A}nnual {ACM} {S}ymposium
                         on the {T}heory of {C}omputing ({STOC}'95)},
  acronym =             {{STOC}'95},
  publisher =           {ACM Press},
  pages =               {140-146},
  year =                {1995},
  month =               may,
}
[NU02] Matti Nykänen and Esko Ukkonen. The Exact Path Length Problem. Journal of Algorithms 42(1):41-53. Elsevier, January 2002.
@article{ja42(1)-NU,
  author =              {Nyk{\"a}nen, Matti and Ukkonen, Esko},
  title =               {The Exact Path Length Problem},
  publisher =           {Elsevier},
  journal =             {Journal of Algorithms},
  volume =              {42},
  number =              {1},
  pages =               {41-53},
  year =                {2002},
  month =               jan,
  doi =                 {10.1006/jagm.2001.1201},
}
[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},
}