You are here: TUCS > PUBLICATIONS > Publication Search > Linear Hybrid Action Systems
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Linear Hybrid Action Systems
Mauno Rönkkö, Xuandong Li, Linear Hybrid Action Systems. In: the 11th Nordic Workshop on Programming Theory, 1999.
Abstract:
http://www.tucs.fi/Publications/proceedings/pRoLi99a.php
BibTeX entry:
@INPROCEEDINGS{pRoLi99a,
title = {Linear Hybrid Action Systems},
booktitle = {the 11th Nordic Workshop on Programming Theory},
author = {Rönkkö, Mauno and Li, Xuandong},
year = {1999},
keywords = {action systems, linear hybrid systems, transition systems, linear hybrid automata},
}