语系:
簡体中文
English
日文
繁體中文
说明
登入
[NT 60476] Jump To :
概要
书目信息
主题
Temporal automata - Congresses
概要
作品:
2 作品在 2 项出版品 2 种语言
书目信息
Formal techniques, modelling and analysis of timed and fault tolerant systems: joint international conferences on ...
by:
(书目-语言数据,印刷品)
Formal modeling and analysis of timed systems: first international workshop,FORMATS 2003,Marseille,France,...
by:
(书目-语言数据,印刷品)
主题
Temporal automata - Congresses
Formal methods (Computer scien
Computer simulation - Congress
Temporal automata - Congresses
Computer simulation
处理中
...
变更密码
登入