Вы здесь

Burkart O.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ An Elementary Bisimulaton Decision Procedure for Arbitrary Context-Free Processes 1995 Burkart O., Caucal D., Steffen B. Lecture Notes in Computer Science Mathematical Foundations of Computer Science 1995 24.10.1995
М Automatic Verification of Sequential Infinite-State Processes 1997 Burkart O. Lecture Notes in Computer Science 16.01.1998
П Composition, Decomposition and Model Checking of Pushdown Processes 1994 Burkart O., Steffen B. Univ.Passau Lecture Notes in Computer Science 28.01.1995
СТ Model Checking for Context-Free Processes 1992 Burkart O., Steffen B. Lecture Notes in Computer Science 16.10.1992
П Pushdown Processes: Parallel Composition and Model Checking 1993 Burkart O., Steffen B. Univ.Passau 01.04.1994