delegate 发表于 2025-3-23 10:51:47

1860-949Xbook addresses research scientists as well as graduate and PhD students .in computer science, logics, and engineering of real time systems..978-3-642-06942-0978-3-540-32870-4Series ISSN 1860-949X Series E-ISSN 1860-9503

违反 发表于 2025-3-23 15:48:12

第4楼

Irrepressible 发表于 2025-3-23 19:27:54

第4楼

minion 发表于 2025-3-24 01:45:59

5楼

GILD 发表于 2025-3-24 05:26:22

5楼

MOAN 发表于 2025-3-24 08:01:03

5楼

阻止 发表于 2025-3-24 11:41:03

5楼

pulse-pressure 发表于 2025-3-24 17:35:48

6楼

小官 发表于 2025-3-24 22:01:15

6楼

Palatial 发表于 2025-3-25 00:18:24

6楼
页: 1 [2] 3 4
查看完整版本: Titlebook: Advances in Verification of Time Petri Nets and Timed Automata; A Temporal Logic App Wojciech Penczek,Agata Pólrola Book 2006 Springer-Verl