Вы здесь
Barringer H.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Rule-Based Runtime Verification | 2004 | Barringer H., Goldberg A., Havelund K., Sen K. | Lecture Notes in Computer Science | 11.02.2004 | |||
| П | Using Temporal Logic in the Compositional Specification of Concurrent Systems | 1986 | Barringer H. | Univ.Manchester | 30.04.1998 | |||
| СТ | A Graph-Based Approach to Resolution in Temporal Logic | 1994 | Dixon C., Fisher M., Barringer H. | Lecture Notes in Artificial Intelligence | 12.08.1994 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Runtime Verification: Proc./First International Conference, RV 2010, St.Julians, Malta, November 2010 | 2010 | Lecture Notes in Computer Science |
|
23.11.2010 |