Вы здесь
Ouaknine J.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Completeness and Complexity of Bounded Model Checking | 2004 | Clarke E., Kroening D., Ouaknine J., Strichman O. | Lecture Notes in Computer Science | 11.02.2004 | |||
| СТ | State/Event-Based Software Model Checking | 2004 | Chaki S., Clarke E. M., Ouaknine J., Sharygina N., Sinha N. | Lecture Notes in Computer Science | 21.05.2004 | |||
| СТ | Digitisation and Full Abstraction for Dense-Time Model Checking | 2002 | Ouaknine J. | Lecture Notes in Computer Science | 21.05.2002 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Reachability Problems: Proc./8th International Workshop, RP 2014, Oxford, UK, September 2014 | 2014 | Lecture Notes in Computer Science |
|
18.11.2014 | |||
| СБ | Formal Modelling and Analysis of Timed Systems: Proc./7th International Conference, FORMATS 2009, Budapest, Hungary, September 2009 | 2009 | Lecture Notes in Computer Science |
|
03.02.2010 |