Вы здесь
Martin A.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | ZML: XML Support for Standard Z | 2003 | Utting M., Toyn I., Sun J., Martin A., Dong J. S., Daley N., Currie D. | Lecture Notes in Computer Science | 20.06.2003 | |||
| СТ | Design Constraints in Symbolic Model Checking | 1998 | Kaufmann M., Martin A., Pixley C. | Lecture Notes in Computer Science | 03.07.1998 | |||
| СТ | Encoding W: A Logic for Z in 2OBJ | 1993 | Martin A. | Lecture Notes in Computer Science | 27.05.1993 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Belief Functions: Theory and Applications: Proc./5th International Conference, BELIEF 2018, Compiègne, France, September 2018 | 2018 |
|
26.09.2018 | ||||
| СБ | Trusted Computing: Proc./Second International Conference, Trust 2009, Oxford, UK, April 2009 | 2009 | Lecture Notes in Computer Science |
|
17.03.2010 |