BibTeX record conf/iceis/LelionnaisBDRS12

download as .bib file

@inproceedings{DBLP:conf/iceis/LelionnaisBDRS12,
  author    = {C{\'{e}}drick Lelionnais and
               Matthias Brun and
               J{\'{e}}r{\^{o}}me Delatour and
               Olivier H. Roux and
               Charlotte Seidner},
  title     = {Formal Behavioral Modeling of Real-time Operating Systems},
  booktitle = {{ICEIS} 2012 - Proceedings of the 14th International Conference on
               Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June
               - 1 July, 2012},
  pages     = {407--414},
  year      = {2012},
  crossref  = {DBLP:conf/iceis/2012-2},
  timestamp = {Fri, 01 Nov 2019 15:16:11 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iceis/LelionnaisBDRS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iceis/2012-2,
  editor    = {Leszek A. Maciaszek and
               Alfredo Cuzzocrea and
               Jos{\'{e}} Cordeiro},
  title     = {{ICEIS} 2012 - Proceedings of the 14th International Conference on
               Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June
               - 1 July, 2012},
  publisher = {SciTePress},
  year      = {2012},
  isbn      = {978-989-8565-11-2},
  timestamp = {Tue, 21 Aug 2012 14:19:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iceis/2012-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics