HartonasK94'

BibTeX

@inproceedings{DBLP:conf/imperial/HartonasK94,
  author    = {Chrysafis Hartonas and
               Marta Z. Kwiatkowska},
  title     = {Synchronisation Trees and Fairness: A Case Study},
  booktitle = {Theory and Formal Methods},
  year      = {1994},
  pages     = {181-198},
  crossref  = {DBLP:conf/imperial/1994},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/imperial/1994,
  editor    = {Chris Hankin and
               Ian Mackie and
               Rajagopal Nagarajan},
  title     = {Proceedings for the Second Imperial College Department of
               Computing Workshop on Theory and Formal Methods, M{\o}ller
               Centre, Cambridge, 11-14 September 1994},
  booktitle = {Theory and Formal Methods},
  publisher = {Imperial College Press},
  year      = {1995},
  isbn      = {1-86094-003-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}