Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/ecrts/SintoskiHRH01,
  author       = {A. Sintoski and
                  Dieter K. Hammer and
                  Onno S. van Roosmalen and
                  Jozef Hooman},
  title        = {Formal Platform-Independent Design of Real-Time Systems},
  booktitle    = {13th Euromicro Conference on Real-Time Systems {(ECRTS} 2001), 13-15
                  June 2001, Delft, The Netherlands, Proceedings},
  pages        = {163--170},
  year         = {2001},
  crossref     = {DBLP:conf/ecrts/2001},
  url          = {https://doi.org/10.1109/EMRTS.2001.934023},
  doi          = {10.1109/EMRTS.2001.934023},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/SintoskiHRH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ecrts/2001,
  title        = {13th Euromicro Conference on Real-Time Systems {(ECRTS} 2001), 13-15
                  June 2001, Delft, The Netherlands, Proceedings},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/7427/proceeding},
  isbn         = {0-7695-1221-6},
  timestamp    = {Mon, 16 Sep 2024 05:21:09 +0200},
  biburl       = {https://dblp.org/rec/conf/ecrts/2001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}