Verifying Time Petri Nets by Linear Programming

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 Report
Number in series: 259
Number of pages: 14
ISBN: 952-12-0418-4
ISSN: 1239-1891

Last updated on 2020-19-09 at 06:12

Share link