Вы здесь

Schmitt P. H.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ An Extension of Dynamic Logic for Modeling OCL s @pre Operator 2001 Baar T., Beckert B., Schmitt P. H. Lecture Notes in Computer Science 06.02.2002
СТ A Tableau System for Linear-TIME Temporal Logic 1997 Schmitt P. H., Goubault-Larrecq J. Lecture Notes in Computer Science 12.04.1997
СТ The Even More Liberalized -Rule in Free Variable Semantic Tableaux 1993 Beckert B., Hahnle R., Schmitt P. H. Lecture Notes in Computer Science 21.09.1993

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Verification of Object-Oriented Software: The KeY Approach. Foreword by K.Rustan M.Leino 2007 Lecture Notes in Artificial Intelligence
  1. Beckert B.
  2. Hahnle R.
  3. Schmitt P. H.
23.02.2007