Showing 1 - 2 results of 2 for search 'Brinksma, Ed', सवाल का समय: 0.01सेकंड परिणाम को परिष्कृत करें
  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

    प्रकाशित 1995
    पुस्तक

    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,...

    प्रकाशित 1990
    पुस्तक

    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

खोज साधन: