You are here: TUCS > PUBLICATIONS > Publication Search > Action Systems Synthesis of De...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Action Systems Synthesis of Delay-Insensitive Circuits
Juha Plosila, Rimvydas Ruksenas, Kaisa Sere, Action Systems Synthesis of Delay-Insensitive Circuits. In: Martin Schwenke Jim Grundy, Trevor Vickers (Eds.), International Refinement Workshop & Formal Methods Pacific'98, 286-305, Springer-Verlag, 1998.
Abstract:
http://www.tucs.fi/Publications/proceedings/pPlRuSe98a.php
BibTeX entry:
@INPROCEEDINGS{pPlRuSe98a,
title = {Action Systems Synthesis of Delay-Insensitive Circuits},
booktitle = {International Refinement Workshop & Formal Methods Pacific'98},
author = {Plosila, Juha and Ruksenas, Rimvydas and Sere, Kaisa},
editor = {Jim Grundy, Martin Schwenke and Trevor Vickers},
publisher = {Springer-Verlag},
pages = {286-305},
year = {1998},
}