BibTeX records: Diyaa-Addein Atiya

download as .bib file

@article{DBLP:journals/entcs/AtiyaKW05,
  author    = {Diyaa{-}Addein Atiya and
               Steve King and
               Jim Woodcock},
  title     = {Simpler Reasoning About System Properties: a Proof-by-Refinement Technique},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {137},
  number    = {2},
  pages     = {5--22},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.entcs.2005.04.022},
  doi       = {10.1016/j.entcs.2005.04.022},
  timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/AtiyaKW05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/AtiyaK05,
  author    = {Diyaa{-}Addein Atiya and
               Steve King},
  editor    = {Tullio Vardanega and
               Andy J. Wellings},
  title     = {Extending Ravenscar with {CSP} Channels},
  booktitle = {Reliable Software Technology - Ada-Europe 2005, 10th Ada-Europe International
               Conference on Reliable Software Technologies, York, UK, June 20-24,
               2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3555},
  pages     = {79--90},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11499909\_7},
  doi       = {10.1007/11499909\_7},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/conf/adaEurope/AtiyaK05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Atiya04,
  author    = {Diyaa{-}Addein Atiya},
  title     = {Verification of concurrent safety-critical systems : the compliance-notation
               approach},
  school    = {University of York, {UK}},
  year      = {2004},
  url       = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.428042},
  timestamp = {Thu, 08 Sep 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/phd/ethos/Atiya04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/AtiyaKW03,
  author    = {Diyaa{-}Addein Atiya and
               Steve King and
               Jim Woodcock},
  editor    = {Keijiro Araki and
               Stefania Gnesi and
               Dino Mandrioli},
  title     = {A Circus Semantics for Ravenscar Protected Objects},
  booktitle = {{FME} 2003: Formal Methods, International Symposium of Formal Methods
               Europe, Pisa, Italy, September 8-14, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2805},
  pages     = {617--635},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/978-3-540-45236-2\_34},
  doi       = {10.1007/978-3-540-45236-2\_34},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/conf/fm/AtiyaKW03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics