Вы здесь

Lakhneche Y.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Provably Correct Compiler Development and Implementation 1992 Buth B., Buth K. -H., Franzle M., Karger B. V., Lakhneche Y., Langmaack H., Muller-Olm M. Lecture Notes in Computer Science 27.10.1992
СТ Reasoning about Durations in Metric Temporal Logic 1994 Lakhneche Y., Hooman J. Lecture Notes in Computer Science 19.10.1994
СТ Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems 1995 Zwiers J., Hannemann U., Lakhneche Y., De Roever W. -P. Lecture Notes in Computer Science 30.01.1996