DriraAJ95'

@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 = {PSTV},
  year      = {1995},
  pages     = {253-268},
  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}
}