Digital Library
Close Browse articles from a journal
 
<< previous    next >>
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
           All articles of the corresponding issues
                                       Details for article 18 of 132 found articles
 
 
  Attacking a complex distributed algorithm from different sides: an experience with complementary validation tools
 
 
Title: Attacking a complex distributed algorithm from different sides: an experience with complementary validation tools
Author: Groz, Roland
Jard, Claude
Lassudrie, Claire
Appeared in: Computer networks and ISDN systems
Paging: Volume 10 (1985) nr. 5 pages 13 p.
Year: 1985
Contents:
Publisher: Published by Elsevier B.V.
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details for article 18 of 132 found articles
 
<< previous    next >>
 
 Koninklijke Bibliotheek - National Library of the Netherlands
Toegankelijkheidsverklaring