1 - 2 toradh á dtaispeáint as 2 toradh san iomlán ar an gcuardach 'Brinksma, Ed', am iarratais: 0.01s Beachtaigh na torthaí
  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

    Foilsithe / Cruthaithe 1995
    LEABHAR

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

    Foilsithe / Cruthaithe 1990
    LEABHAR

    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

Uirlisí cuardaigh: