Вы здесь

Arnold A.

Автор:

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