You are here: TUCS > PUBLICATIONS > Publication Search > Refining Reactive Systems in H...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Refining Reactive Systems in HOL Using Action Systems
Thomas Långbacka, Joakim von Wright, Refining Reactive Systems in HOL Using Action Systems. TUCS Technical Reports 102, Turku Centre for Computer Science, 1997.
Abstract:
http://www.tucs.fi/Publications/techreports/TR102.php
Files:
Full publication in PDF-format
BibTeX entry:
@TECHREPORT{tLaW97,
title = {Refining Reactive Systems in HOL Using Action Systems},
author = {Långbacka, Thomas and Wright, Joakim von},
number = {102},
series = {TUCS Technical Reports},
publisher = {Turku Centre for Computer Science},
year = {1997},
}