National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
Li, Xuandong
URI:
http://urn.fi/URN:NBN:fi:au:pn:000098229
name
Li, Xuandong
Authored works
Checking timing Petri nets for linear duration properties
Timing analysis of message sequence charts
Timing analysis of UML sequence diagrams
Verifying time Petri nets by linear programming
Works contributed to
Linear hybrid action systems
Verification of linear hybrid action systems
Works about Li, Xuandong
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD