Вы здесь
Lakhneche Y.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | 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 | |||
| СТ | Reasoning about Durations in Metric Temporal Logic | 1994 | Lakhneche Y., Hooman J. | Lecture Notes in Computer Science | 19.10.1994 | |||
| СТ | 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 |