You are here: TUCS > PUBLICATIONS > Publication Search > On Equivalence Completions of ...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
On Equivalence Completions of Fairness Assumptions
Nissim Francez, Ralph-Johan Back, Reino Kurki-Suonio, On Equivalence Completions of Fairness Assumptions. 4(6), 1992.
Files:
Full publication in PDF-format
BibTeX entry:
@ARTICLE{jFrBaKu92a,
title = {On Equivalence Completions of Fairness Assumptions},
author = {Francez, Nissim and Back, Ralph-Johan and Kurki-Suonio, Reino},
volume = {4},
number = {6},
year = {1992},
}
Belongs to TUCS Research Unit(s): Software Construction Laboratorium