Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-5
|
Results: 5
Guest editorial: Verification of hybrid systems
Authors:
Maler, O
Citation:
O. Maler, Guest editorial: Verification of hybrid systems, EUR J CONTR, 7(4), 2001, pp. 357-365
Symbolic model checking with rich assertional languages
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
An efficient automats approach to some problems on context-free grammars
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
Effective synthesis of switching controllers for linear systems
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
Achilles and the tortoise climbing up the arithmetical hierarchy
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
|