Вы здесь

Arnold A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Verification and Comparison of Transition Systems 1993 Arnold A. Lecture Notes in Computer Science 26.05.1993
СТ Equivalences and Preorders of Transition Systems 1993 Arnold A., Dicky A. Lecture Notes in Computer Science 20.10.1993
СТ Hypertransition Systems 1994 Arnold A. Lecture Notes in Computer Science 26.03.1994
СТ Synchronized Products of Transition Systems and Their Analysis 1998 Arnold A. Lecture Notes in Computer Science 04.07.1998
П On Semantics of Non Deterministic Recursive Program Schemes 1983 Arnold A., Naudin P., Nivat M. LITP 28.09.1999