DBLP Record 'conf/pstv/Leue95'

BibTeX

@inproceedings{DBLP:conf/pstv/Leue95,
  author    = {Stefan Leue},
  title     = {Specifying real-time requirements for SDL specifications
               - a temporal logic-based approach},
  booktitle = {PSTV},
  year      = {1995},
  pages     = {19-34},
  crossref  = {DBLP:conf/pstv/1995},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/pstv/1995,
  editor    = {Piotr Dembinski and
               Marek Sredniawa},
  title     = {Protocol Specification, Testing and Verification XV, Proceedings
               of the Fifteenth IFIP WG6.1 International Symposium on Protocol
               Specification, Testing and Verification, Warsaw, Poland,
               June 1995},
  booktitle = {PSTV},
  publisher = {Chapman {\&} Hall},
  series    = {IFIP Conference Proceedings},
  volume    = {38},
  year      = {1996},
  isbn      = {0-412-71620-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}