Jump to main content

yr 〜
yr

Search results 7

Computer aided verification : 14th international conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings. : Jul 2002, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 2404)

Computer aided verification : 14th international conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings. : Jul 2002, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 2404)
Paper図書
Springer2002.<M17-03-118>
National Diet Library
  • Author HeadingBrinksma, Ed. Larsen, K. G. (Kim G.) , 195...

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

Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings
Paper図書
Ed Brinksma, Kim Guldstrand Larsen (eds.)Springerc2002
Other Libraries in Japan
  • Author HeadingCAV (Conference) Brinksma, Ed Larsen, K. G. (Kim G.)

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

Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS ʾ97, Enschede, The Netherlands, April 2-4, 1997 : proceedings : pbk
Paper図書
Ed Brinksma (ed.)Springerc1997
Other Libraries in Japan
  • Author HeadingTACAS Brinksma, Ed

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

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
Paper図書
Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.)Springerc2001
Other Libraries in Japan
  • Author Heading...mputer Science Brinksma, Ed Hermanns, Holger Katoen, Joos...

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

Tools and algorithms for the construction and analysis of systems : First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers
Paper図書
E. Brinksma ... [et al.], (eds.)Springerc1995
Other Libraries in Japan
  • Author HeadingBrinksma, Ed TACAS

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

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
Paper図書
edited by Jan Kroon, Rudolf J. Heijink, Ed BrinksmaNorth-Holland1992
Other Libraries in Japan
  • Author Heading...ink, Rudolf J. Brinksma, Ed International Federation for ...

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

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
Paper図書
edited by Ed Brinksma, Giuseppe Scollo, Chris A. VissersNorth-Holland1990
Other Libraries in Japan
  • Author Heading...d Verification Brinksma, Ed Scollo, Giuseppe IFIP Working...

Reached to the end of result.

RSS