B
[BW17] Julian C. Bradfield and Igor Walukiewicz. The mu-calculus and model-checking. In Edmund M. Clarke, Thomas A. Henzinger, and Helmut Veith (eds.), Handbook of Model Checking. Springer-Verlag, 2017. To appear. 
@incollection{HMC-BW,
  author =              {Bradfield, Julian C. and Walukiewicz, Igor},
  title =               {The mu-calculus and model-checking},
  editor =              {Clarke, Edmund M. and Henzinger, Thomas A. and
                         Veith, Helmut},
  booktitle =           {Handbook of Model Checking},
  publisher =           {Springer-Verlag},
  year =                {2017},
  note =                {To~appear},
}
List of authors