Efficient State Space Search for Time Petri Nets

A1 Journal article (refereed)


Internal Authors/Editors


Publication Details

List of Authors: Lilius J
Publication year: 1998
Journal: Electronic Notes in Theoretical Computer Science
Volume number: 18
Start page: 113
End page: 133

Last updated on 2019-16-10 at 03:13