BibTeX record: conf/pstv/DriraAJ95

download as .bib file

@inproceedings{DBLP:conf/pstv/DriraAJ95,
  author    = {Khalil Drira and
               Youcef Atamna and
               Guy Juanole},
  title     = {Quantified reduced views of state graphs using Markovian and timed
               observational equivalence},
  booktitle = {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},
  pages     = {253--268},
  year      = {1995},
  crossref  = {DBLP:conf/pstv/1995},
  timestamp = {Thu, 07 Feb 2002 12:40:45 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/pstv/DriraAJ95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  series    = {{IFIP} Conference Proceedings},
  volume    = {38},
  publisher = {Chapman {\&} Hall},
  year      = {1996},
  isbn      = {0-412-71620-8},
  timestamp = {Thu, 03 Jan 2002 12:07:46 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/pstv/1995},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}