Semantic for abstract fairness using metric spaces
Egon Börger;Hans Kleine Büning;Michael M. Richter (Hrsg). CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings. Berlin: Springer 1990 S. 335 - 368
Erscheinungsjahr: 1990
ISBN/ISSN: 978-3-540-52753-4
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/3-540-52753-2_50
| Geprüft | Bibliothek |
Autoren
Priese, Lutz (Autor)
Nolte, Doris (Autor)
