Efficient verification of a class of time Petri nets using linear programming

A1 Journal article (refereed)


Internal Authors/Editors


Publication Details

List of Authors: Xuandong Li, Johan Lilius
Publisher: Elsevier
Publication year: 2001
Journal: Information Processing Letters
Volume number: 77
Issue number: 5-6
Start page: 219
End page: 224
ISSN: 0020-0190

Last updated on 2019-12-12 at 04:06