@phdthesis{dnb-12138,
  title = {Spezifikationsbasiertes Testen verteilter Systeme},
  author = {Frank Bieler},
  year = {1994},
  url = {http://d-nb.info/940841649},
  researchr = {https://researchr.org/publication/dnb-12138},
  cites = {0},
  citedby = {0},
  school = {Technical University of Berlin, Germany},
}