【Created on October 31, 2023】Integration of CiNii Books into CiNii Research

Impact of the Release of the New "NDL Search" on CiNii Services

Wolper, Pierre

ID:DA09161279

Alias Name

Wolper, P

Wolper, Pierre Leon

Search authors sharing the same name

Search Results1-3 of 3

1

Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings

Pierre Wolper (ed.)

Springer-Verlag c1995 Lecture notes in computer science 939

: us , : gw

Available at 56 libraries
2

Protocol specification, testing, and verification, XIII : proceedings of the IFIP TC 6/WG 6.1 Thirteenth International Symposium on Protocol Specification, Testing, and Verification, Liège, Belgium, 25-28 May, 1993

edited by A. Danthine, G. Leduc, P. Wolper

North-Holland 1993 IFIP transactions C . Communication systems ; 16

Available at 10 libraries
3

Synthesis of communicating processes from temporal logic specifications

Pierre Léon Wolper

University Microfilms International 1985

Available at 2 libraries

Search this author

Related Authors