Вы здесь

Simpson A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Verifying Temporal Properties Using Explicit Approximations: Completeness for Context-free Processes 2002 Schopp U., Simpson A. Lecture Notes in Computer Science 09.05.2002
М Official Microsoft Internet Explorer 4 Site Builder Toolkit 1998 Simpson A. 26.01.2000
СТ A Formal Specification of an Automatic Train Protection System 1994 Simpson A. Lecture Notes in Computer Science 14.12.1994
СТ Hierarchical Meta-logics: Intuitions, Proof Theory and Semantics 1992 Giunchiglia F., Serafini L., Simpson A. Lecture Notes in Computer Science 03.02.1993