Gösterilen 1 - 2 sonuçlar arası kayıtlar. 2 sonuç. Aranan kelime 'Brinksma, Ed', Sorgu süresi: 0.01s Sonuçları Daraltın
  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

    Baskı/Yayın Bilgisi 1995
    Kitap

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

    Baskı/Yayın Bilgisi 1990
    Kitap

    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

Arama Araçları: