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

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

Brinksma, Ed

ID:DA03973770

Alias Name: Brinksma, E. (Ed)

Search authors sharing the same name

Search Results1-6 of 6

1

Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings

Ed Brinksma, Kim Guldstrand Larsen (eds.)

Springer c2002 Lecture notes in computer science 2404

Available at 31 libraries
2

Lectures on formal methods and performance analysis : First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures

Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.)

Springer c2001 Lecture notes in computer science 2090

Available at 28 libraries
3

Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS ʾ97, Enschede, The Netherlands, April 2-4, 1997 : proceedings

Ed Brinksma (ed.)

Springer c1997 Lecture notes in computer science 1217

: pbk

Available at 48 libraries
4

Tools and algorithms for the construction and analysis of systems : First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers

E. Brinksma ... [et al.], (eds.)

Springer c1995 Lecture notes in computer science 1019

Available at 48 libraries
5

Protocol test systems, IV : proceedings of the IFIP TC6 Fourth International Workshop on Protocol Test Systems, organized by PTT Research, Leidschendam, The Netherlands, 15-17 October, 1991

edited by Jan Kroon, Rudolf J. Heijink, Ed Brinksma

North-Holland , Distributors for the U.S. and Canada, Elsevier Pub. Co. 1992 IFIP transactions C . Communication systems ; 3

Available at 6 libraries
6

Protocol specification, testing, and verification, IX : proceedings of the IFIP WG 6.1 Ninth International Symposium on Protocol Specification, Testing, and Verification, Enschede, The Netherlands, 6-9 June, 1989

edited by Ed Brinksma, Giuseppe Scollo, Chris A. Vissers

North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. 1990

Available at 15 libraries