Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/ipps/BourahlaB03,
  author       = {Mustapha Bourahla and
                  Mohamed Benmohamed},
  title        = {Verification of Real-Time Systems by Abstraction of Time Constraints},
  booktitle    = {17th International Parallel and Distributed Processing Symposium {(IPDPS}
                  2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings},
  pages        = {238},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/IPDPS.2003.1213432},
  doi          = {10.1109/IPDPS.2003.1213432},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/BourahlaB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/msiw/Weise89,
  author       = {Daniel Weise},
  editor       = {Miriam Leeser and
                  Geoffrey Brown},
  title        = {Constraints, Abstraction and Verification},
  booktitle    = {Hardware Specification, Verification and Synthesis: Mathematical Aspects,
                  Mathematical Science Institute Workshop, Cornall University, Ithaca,
                  New York, USA, July 5-7, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {408},
  pages        = {25--39},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/0-387-97226-9\_22},
  doi          = {10.1007/0-387-97226-9\_22},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/msiw/Weise89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}