Oxford logo
[HK95] C. Hartonas and M. Kwiatkowska. Synchronization trees and fairness: A case study. In Proc. Advanced methods in theory and formal methods of computing (TFM'94), pages 181-198, Imperial College Press. 1995. [ps.gz] [bib]
Downloads:  ps.gz ps.gz (63 KB)  bib bib
Links: [Google] [Google Scholar] [CiteSeer]

QAV:

>  Home

>  People

>  Projects

>  Publications