文档库

最新最全的文档下载
当前位置:文档库 > A Closed-Form Evaluation for Extended Timed Automata

A Closed-Form Evaluation for Extended Timed Automata

http://www.lsv.ens−cachan.fr/Publis/

Research Report LSV−98−2, Lab. Spécification et Vérification, CNRS & ENS de Cachan, France, Mar. 1998