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