Nadjm-TehraniS95'

@inproceedings{DBLP:conf/rtss/Nadjm-TehraniS95,
  author    = {Simin Nadjm-Tehrani and
               Jan-Erik Str{\"o}mberg},
  title     = {Proving Dynamic Properties in an Aerospace Application},
  booktitle = {RTSS},
  year      = {1995},
  pages     = {2-10},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/REAL.1995.495190},
  crossref  = {DBLP:conf/rtss/1995},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/rtss/1995,
  title     = {16th IEEE Real-Time Systems Symposium, Palazzo dei Congressi,
               Via Matteotti, 1, Pisa, Italy, December 4-7, 1995, Proceedings},
  booktitle = {RTSS},
  publisher = {IEEE Computer Society},
  year      = {1995},
  isbn      = {0-8186-7337-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}