著者典拠情報

著者標目形：
Brinksma, Ed
属性：
Personal
から見よ参照形：
Brinksma, E. (Ed)
注記：
IFIP TC6 International Workshop on Protocol Test Systems (4th : 1991 : Leidschendam, Netherlands). Protocol test systems, 1992: CIP t.p. (Ed Brinksma; Univ. of Twente, Enschede, The Netherlands)
Protocol, specification, testing, and verification, IX, 1990: t.p. (ed. by Ed Brinksma)
EDSRC: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)
著者典拠ID：
DA03973770


1.

図書
図書
1. Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings
Ed Brinksma, Kim Guldstrand Larsen (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2404
所蔵情報: 研究室
2.

図書
図書
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.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2090
所蔵情報: 図書館
3.

図書
図書
3. Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS ʾ97, Enschede, The Netherlands, April 2-4, 1997 : proceedings (pbk. : alk. paper)
Ed Brinksma (ed.)
出版情報: Berlin : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1217
所蔵情報: 図書館
4.

図書
図書
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.)
出版情報: Berlin ; New York : Springer, c1995
シリーズ名: Lecture notes in computer science ; 1019
所蔵情報: 図書館