Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/imperial/HartonasK94
%A Hartonas, Chrysafis
%A Kwiatkowska, Marta Z.
%B Theory and Formal Methods
%D 1994
%E Hankin, Chris
%E Mackie, Ian
%E Nagarajan, Rajagopal
%I Imperial College Press
%K dblp
%P 181-198
%T Synchronisation Trees and Fairness: A Case Study.
%U http://dblp.uni-trier.de/db/conf/imperial/imperial1994.html#HartonasK94
%@ 1-86094-003-X
@inproceedings{conf/imperial/HartonasK94,
added-at = {2006-05-08T00:00:00.000+0200},
author = {Hartonas, Chrysafis and Kwiatkowska, Marta Z.},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2fa0f2dc7f89be2e4fee2d88c92c10f70/dblp},
booktitle = {Theory and Formal Methods},
crossref = {conf/imperial/1994},
editor = {Hankin, Chris and Mackie, Ian and Nagarajan, Rajagopal},
interhash = {05bd8847d52edf3645a26d7521f56eeb},
intrahash = {fa0f2dc7f89be2e4fee2d88c92c10f70},
isbn = {1-86094-003-X},
keywords = {dblp},
pages = {181-198},
publisher = {Imperial College Press},
timestamp = {2016-02-02T13:51:25.000+0100},
title = {Synchronisation Trees and Fairness: A Case Study.},
url = {http://dblp.uni-trier.de/db/conf/imperial/imperial1994.html#HartonasK94},
year = 1994
}
