يعرض 1 - 2 نتائج من 2 نتيجة بحث عن 'Brinksma, Ed', وقت الاستعلام: 0.01s تنقيح النتائج
  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

أدوات البحث: