You are here: TUCS > PUBLICATIONS > Publication Search > Mechanized Reasoning for Duall...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Mechanized Reasoning for Dually-Nondeterministic and Probabilistic Programs
Orieta Celiku, Mechanized Reasoning for Dually-Nondeterministic and Probabilistic Programs. TUCS Dissertations 77. Turku Centre for Computer Science, 2006.
BibTeX entry:
@PHDTHESIS{phdCeliku06a,
title = {Mechanized Reasoning for Dually-Nondeterministic and Probabilistic Programs},
author = {Celiku, Orieta},
number = {77},
series = {TUCS Dissertations},
school = {Turku Centre for Computer Science},
year = {2006},
ISBN = {952-12-1765-0},
}