BibTeX record conf/esec/BrabermanF99

• > Home > conf/esec/BrabermanF99

@inproceedings{DBLP:conf/esec/BrabermanF99,
  author       = {V{\'{\i}}ctor A. Braberman and
                  Miguel Felder},
  editor       = {Oscar Nierstrasz and
                  Michel Lemoine},
  title        = {Verification of Real-Time Designs: Combining Scheduling Theory with
                  Automatic Formal Verification},
  booktitle    = {Software Engineering - ESEC/FSE'99, 7th European Software Engineering
                  Conference, Held Jointly with the 7th {ACM} {SIGSOFT} Symposium on
                  the Foundations of Software Engineering, Toulouse, France, September
                  1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1687},
  pages        = {494--510},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48166-4\_30},
  doi          = {10.1007/3-540-48166-4\_30},
  timestamp    = {Wed, 04 May 2022 13:01:10 +0200},
  biburl       = {https://dblp.org/rec/conf/esec/BrabermanF99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}