AAAAAA

   
Results: 1-5 |
Results: 5

Authors: Maler, O
Citation: O. Maler, Guest editorial: Verification of hybrid systems, EUR J CONTR, 7(4), 2001, pp. 357-365

Authors: Kesten, Y Maler, O Marcus, M Pnueli, A Shahar, E
Citation: Y. Kesten et al., Symbolic model checking with rich assertional languages, THEOR COMP, 256(1-2), 2001, pp. 93-112

Authors: Bouajjani, A Esparza, J Finkel, A Maler, O Rossmanith, P Willems, B Wolper, P
Citation: A. Bouajjani et al., An efficient automats approach to some problems on context-free grammars, INF PROCESS, 74(5-6), 2000, pp. 221-227

Authors: Asarin, E Bournez, O Dang, T Maler, O Pnueli, A
Citation: E. Asarin et al., Effective synthesis of switching controllers for linear systems, P IEEE, 88(7), 2000, pp. 1011-1025

Authors: Asarin, E Maler, O
Citation: E. Asarin et O. Maler, Achilles and the tortoise climbing up the arithmetical hierarchy, J COMPUT SY, 57(3), 1998, pp. 389-398
Risultati: 1-5 |