WorldCat Identities

Wolper, Pierre León

Overview
Works: 7 works in 20 publications in 1 language and 79 library holdings
Genres: Conference papers and proceedings 
Roles: Editor, Other
Publication Timeline
.
Most widely held works by Pierre León Wolper
Protocol specification, testing and verification, XIII : proceedings of the IFIP TC6/WG6.1. thirteenth International Symposium on Protocol Specification, Testing and Verification, Liége, Belgium, 25-28 May, 1993 by Testing and Verification IFIP TC6/WG 6.1 International Symposium on Protocol Specification( Book )

5 editions published in 1993 in English and held by 62 WorldCat member libraries worldwide

Automata-theoretic techniques for modal logics of programs by Moshe Y Vardi( Book )

3 editions published in 1984 in English and held by 3 WorldCat member libraries worldwide

The complementation problem for Buechi automata with applications to temporal logic by Aravinda Prasad Sistla( Book )

3 editions published in 1986 in English and held by 3 WorldCat member libraries worldwide

Reasoning about fair concurrent programs by Costas Courcoubetis( Book )

3 editions published in 1986 in English and held by 3 WorldCat member libraries worldwide

An automata-theoretic approach to automatic program verification by Moshe Y Vardi( Book )

2 editions published in 1986 in English and held by 3 WorldCat member libraries worldwide

Memory efficient algorithms for the verification of temporal properties by Thomas J. Watson IBM Research Center( Book )

2 editions published in 1990 in English and held by 2 WorldCat member libraries worldwide

Reasoning about infinite computation paths by Moshe Y Vardi( Book )

2 editions published in 1988 in English and held by 1 WorldCat member library worldwide

 
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.77 (from 0.75 for Reasoning ... to 0.88 for Reasoning ...)

Languages
English (20)