Вы здесь
Mohamed O. A.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | First-Order LTL Model Checking Using MDGs | 2004 | Wang F., Tahar S., Mohamed O. A. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 29.01.2005 | ||
| СТ | Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs | 1998 | Xu Y., Gerny E., Song X., Corella F., Mohamed O. A. | Lecture Notes in Computer Science | 03.07.1998 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Recent Trends and Future Technology in Applied Intelligence: Proc./31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Montreal, QC. Canada. June 2018 | 2018 | Lecture Notes in Artificial Intelligence |
|
21.06.2018 |