BibTeX record: conf/fmoods/Wehrheim02

download as .bib file

@inproceedings{DBLP:conf/fmoods/Wehrheim02,
  author    = {Heike Wehrheim},
  title     = {Checking Behavioural Subtypes via Refinement},
  booktitle = {Formal Methods for Open Object-Based Distributed Systems V, {IFIP}
               {TC6/WG6.1} Fifth International Conference on Formal Methods for Open
               Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002,
               Enschede, The Netherlands},
  year      = {2002},
  pages     = {79--93},
  crossref  = {DBLP:conf/fmoods/2002},
  timestamp = {Sun, 21 Sep 2014 22:21:57 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fmoods/Wehrheim02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fmoods/2002,
  editor    = {Bart Jacobs and
               Arend Rensink},
  title     = {Formal Methods for Open Object-Based Distributed Systems V, {IFIP}
               {TC6/WG6.1} Fifth International Conference on Formal Methods for Open
               Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002,
               Enschede, The Netherlands},
  series    = {{IFIP} Conference Proceedings},
  year      = {2002},
  volume    = {209},
  publisher = {Kluwer},
  isbn      = {0-7923-7683-8},
  timestamp = {Sun, 21 Sep 2014 22:21:57 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fmoods/2002},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}