You are here: TUCS > PUBLICATIONS > Publication Search > Formal Reasoning About Distrib...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Formal Reasoning About Distributed Algorithms
Marina Waldén, Formal Reasoning About Distributed Algorithms. TUCS Dissertations 10. Turku Centre for Computer Science, 1998.
Abstract:
http://www.tucs.fi/Publications/phdthesis/phdWalden98a.php
BibTeX entry:
@PHDTHESIS{phdWalden98a,
title = {Formal Reasoning About Distributed Algorithms},
author = {Waldén, Marina},
number = {10},
series = {TUCS Dissertations},
school = {Turku Centre for Computer Science},
year = {1998},
ISBN = {952-12-0254-8},
}