Home

Back

Julian Rathke: BibTex


@techreport{RH96-locvbm,
  author	= {Rathke, Julian and Hennessy, Matthew},
  title		= {Local Model Checking for a Value-Based Modal mu-Calculus},
  year		= {1996},
  institution	= {University of Sussex},
  type		= {Computer Science Report},
  number	= {5-96},
}