DBLP Record 'conf/fbt/WisspeintnerHP00'

BibTeX

@inproceedings{DBLP:conf/fbt/WisspeintnerHP00,
  author    = {Alexander K. Wi{\ss}peintner and
               Franz Huber and
               Jan Philipps},
  title     = {Model Checking and Random Competition - A Study Using the
               Model Checking Framework MIC},
  booktitle = {FBT},
  year      = {2000},
  pages     = {91-100},
  crossref  = {DBLP:conf/fbt/2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/fbt/2000,
  editor    = {Jens Grabowski and
               Stefan Heymer},
  title     = {Formale Beschreibungstechniken f{\"u}r verteilte Systeme,
               10. GI/ITG-Fachgespr{\"a}ch, L{\"u}beck, Juni 2000},
  booktitle = {FBT},
  publisher = {Verlag Shaker},
  year      = {2000},
  isbn      = {3-8265-7491-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}