Checking Timing Petri Nets for Linear Duration Properties

D4 Published development or research report or study


Internal Authors/Editors


Publication Details

List of Authors: Xuandong Li, Johan Lilius
Publisher: Turku Centre for Computer Science (TUCS)
Publication year: 1999
Title of series: TUCS Technical Reports
Number of pages: 19
ISBN: 952-12-0407-9
ISSN: 1239-1891

Last updated on 2019-23-09 at 05:05