You are here: TUCS > PUBLICATIONS > Publication Search > A Methodology for Constructing...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
A Methodology for Constructing Correct Reactive Systems
Cristina Cerschi Seceleanu, A Methodology for Constructing Correct Reactive Systems. TUCS Dissertations 68. Turku Centre for Computer Science, 2005.
BibTeX entry:
@PHDTHESIS{phdSeceleanu05a,
title = {A Methodology for Constructing Correct Reactive Systems},
author = {Cerschi Seceleanu, Cristina},
number = {68},
series = {TUCS Dissertations},
school = {Turku Centre for Computer Science},
year = {2005},
ISBN = {951-29-4015-9},
}