@TechReport{BolligLeuckerWeber01,
  author =	 "Benedikt Bollig and Martin Leucker and Michael Weber",
  title =	 "Local Parallel Model Checking for the Alternation
                  Free $\mu$--Calculus",  
  institution =	 "RWTH Aachen",
  year =	 "2001",
  number =	 "AIB-04-2001",
  month =	 mar,
  url =          "http://aib.informatik.rwth-aachen.de/2001/2001-04.ps.gz", 
}