( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The Expressive Power of Clocks.

, , и . ICALP, том 944 из Lecture Notes in Computer Science, стр. 417-428. Springer, (1995)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Reetta Toivanen

Janne Toivola

Howard Nelson

Howard Foster

Howard Li

 

Другие публикации лиц с тем же именем

Multiple-signal duplicate detection for search evaluation., , , , , и . SIGIR, стр. 223-230. ACM, (2007)Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods., , , и . HSCC, том 1790 из Lecture Notes in Computer Science, стр. 130-144. Springer, (2000)A procedure for reachability analysis of rectangular automata., и . ACC, стр. 1674-1678. IEEE, (2000)Analysis of Slope-Parametric Rectangular Automata.. Hybrid Systems, том 1567 из Lecture Notes in Computer Science, стр. 390-413. Springer, (1997)Using HyTech to Synthesize Control Parameters for a Steam Boiler., и . Formal Methods for Industrial Applications, том 1165 из Lecture Notes in Computer Science, стр. 265-282. Springer, (1995)A case study of hybrid controller synthesis of a heating system., , , , и . ECC, стр. 1687-1692. IEEE, (1999)HyTech: The Next Generation., , и . RTSS, стр. 56-65. IEEE Computer Society, (1995)Verification of Real-Time Systems by Successive Over and Under Approximation., и . CAV, том 939 из Lecture Notes in Computer Science, стр. 409-422. Springer, (1995)A User Guide to HyTech., , и . TACAS, том 1019 из Lecture Notes in Computer Science, стр. 41-71. Springer, (1995)The Expressive Power of Clocks., , и . ICALP, том 944 из Lecture Notes in Computer Science, стр. 417-428. Springer, (1995)