@PhdThesis{hamann08d,
  author = 	 {Heiko Hamann},
  title = 	 {Space-Time Continuous Models of Swarm Robotics Systems: Supporting Global-to-Local Programming},
  school = 	 {University of Karlsruhe, Germany},
  year = 	 {2008},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTaddress = 	 {},
  month = 	 {November},
  OPTnote = 	 {},
  OPTannote = 	 {}
}