Đang hiển thị 1 - 2 kết quả của 2 cho tìm kiếm 'Brinksma, Ed', thời gian truy vấn: 0.01s Tinh chỉnh kết quả
  1. 1

    Tools and algorithms for the construction and analysis of systems first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers

    Được phát hành 1995
    Sách

    Tools and algorithms for the construction and analysis of systems first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers
  2. 2

    Protocol specification, testing, and verification, IX proceedings of the IFIP WG 6.1, ninth international symposium on protocol specification, testing, and verification, Enschede,...

    Được phát hành 1990
    Sách

    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

Công cụ tìm kiếm: