Вы здесь

Maler O.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ From Timed to Hybrid Systems 1992 Maler O., Manna Z., Pnueli A. Lecture Notes in Computer Science 08.08.1992
СТ Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy 1995 Asarin E., Maler O. Lecture Notes in Computer Science 31.01.1996
СТ On the Synthesis of Discrete Controllers for Timed Systems 1995 Maler O., Pnueli A., Sifakis J. Lecture Notes in Computer Science 25.03.1995
СТ On Recognizable Timed Languages 2004 Maler O., Pnueli A. Lecture Notes in Computer Science 30.04.2004
СТ Real Time Temporal Logic: Past, Present, Future 2006 Maler O., Nickovic D., Pnueli A. Lecture Notes in Computer Science Lecture Notes in Computer Science 16.03.2006
СТ On Interleaving in Timed Automata 2006 Ben Salah R., Bogza M., Maler O. Lecture Notes in Computer Science Lecture Notes in Computer Science 28.09.2006
СТ Checking Temporal Properties of Discrete, Timed, and Continuous Behaviors 2008 Maler O., Nickovic D., Pnueli A. Lecture Notes in Computer Science Lecture Notes in Computer Science 15.04.2008