BibTeX record conf/date/RustSAT00

• > Home > conf/date/RustSAT00

@inproceedings{DBLP:conf/date/RustSAT00,
  author       = {Carsten Rust and
                  Friedhelm Stappert and
                  Peter Altenbernd and
                  J{\"{u}}rgen Tacken},
  editor       = {Ivo Bolsens},
  title        = {From High-Level Specifications Down to Software Implementations of
                  Parallel Embedded Real-Time Systems},
  booktitle    = {2000 Design, Automation and Test in Europe {(DATE} 2000), 27-30 March
                  2000, Paris, France},
  pages        = {686--691},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1109/DATE.2000.840861},
  doi          = {10.1109/DATE.2000.840861},
  timestamp    = {Fri, 24 Mar 2023 00:02:46 +0100},
  biburl       = {https://dblp.org/rec/conf/date/RustSAT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}