Вы здесь

Wolper P.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Reliable Hashing without Collision Detection 1993 Wolper P., Leroy D. Lecture Notes in Computer Science 20.08.1993
СТ Partial-Order Methods for Temporal Verification 1993 Wolper P., Godefroid P. Lecture Notes in Computer Science 19.10.1993
СТ An Automata-Theoretic Approach to Branching-Time Model Checking 1994 Bernholtz O., Vardi M. Y., Wolper P. Lecture Notes in Computer Science 21.07.1994
СТ Symbolic Verification with Periodic Sets 1994 Boigelot B., Wolper P. Lecture Notes in Computer Science 21.07.1994
СТ Constraint-Generating Dependencies 1995 Baudinet M., Chomicki J., Wolper P. Lecture Notes in Computer Science 21.02.1995
СТ An Automata-Theoretic Approach to Presburger Arithmetic Constraints (Extended Abstract) 1995 Wolper P., Boigelot B. Lecture Notes in Computer Science Static Analysis 16.11.1995
СТ On the Expressiveness of Real and Integer Arithmetic Automata 1998 Boigelot B., Rassart S., Wolper P. Lecture Notes in Computer Science 11.08.1998
СТ Algorithms for Synthezing Reactive Systems: A Perspective 1999 Wolper P. Lecture Notes in Computer Science 16.04.1999
СТ On the Construction of Automata from Linear Arithmetic Constraints 2000 Wolper P., Boigelot B. Lecture Notes in Computer Science 26.04.2000

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Computer Aided Verification: Proc./7th Intern. Conf., CAV 95. Liege, Belgium, July 1995 1995 Lecture Notes in Computer Science
  1. Wolper P.
25.07.1995