Вы здесь

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
  1. Destercke S.
  2. Denoeux T.
  3. Cuzzolin F.
  4. Martin A.
26.09.2018
СБ Trusted Computing: Proc./Second International Conference, Trust 2009, Oxford, UK, April 2009 2009 Lecture Notes in Computer Science
  1. Chen L.
  2. Mitchell C. J.
  3. Martin A.
17.03.2010