共 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
- [7] Amyotrophic lateral sclerosis - Insights from genetics [J]. ARCHIVES OF NEUROLOGY, 1997, 54 (10) : 1246 - 1250