You are here: TUCS > PUBLICATIONS > Publication Search > Linear Hybrid ActionSystems
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Linear Hybrid ActionSystems
Mauno Rönkkö, Xuandong Li, Linear Hybrid ActionSystems. TUCS Technical Reports 245, Turku Centre for Computer Science, 1999.
Abstract:
http://www.tucs.fi/Publications/techreports/TR245.php
Files:
Full publication in PDF-format
BibTeX entry:
@TECHREPORT{tRoLi99a,
title = {Linear Hybrid ActionSystems},
author = {Rönkkö, Mauno and Li, Xuandong},
number = {245},
series = {TUCS Technical Reports},
publisher = {Turku Centre for Computer Science},
year = {1999},
keywords = {action systems, linear hybrid systems, transition systems, linear hybrid automata},
}