共 64 条
[1]
Timed automata: Semantics, algorithms and tools
[J].
LECTURES ON CONCURRENCY AND PETRI NETS: ADVANCES IN PETRI NETS,
2004, 3098
:87-124
[6]
Bonelli RM, 2012, HAND CLINIC, V106, P507, DOI 10.1016/B978-0-444-52002-9.00030-9