Qualitative Reasoning for the Dining Philosophers (Extended Abstract) (BiBTeX)

@InProceedings{hallerstede10:_qualit_reason_for_dinin_philos,
  author = 	 {Stefan Hallerstede and Thai Son Hoang},
  title = 	 {Qualitative Reasoning for the Dining Philosophers},
  crossref =     {abrial10:_exten_abstr_collec},
  booktitle =    {Refinement Based Methods for the Construction of Dependable Systems},
  year = 	 2010
}

@Proceedings{abrial10:_exten_abstr_collec,
  title =        {09381 Extended Abstracts Collection -- Refinement Based Methods for the Construction of Dependable Systems},
  year =         2010,
  editor =       {Jean-Raymond Abrial and Michael Butler and Rajeev Joshi and Elena Troubitsyna and Jim C. P. Woodcock},
  number =       09381,
  series =       {Dagstuhl Seminar Proceedings},
  ISSN =         {1862-4405},
  publisher =    {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  address =      {Dagstuhl, Germany},
  note =         {\url{http://drops.dagstuhl.de/opus/volltexte/2010/2374}}
}