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 5 of 8 found articles
  Proving refinement using transduction
Title: Proving refinement using transduction
Author: Jonsson, Bengt
Pnueli, Amir
Rump, Camilla
Appeared in: Distributed computing
Paging: Volume 12 (1999) nr. 2-3 pages 129-149
Year: 1999
Publisher: Springer-Verlag, Berlin/Heidelberg
Source file: Elektronische Wetenschappelijke Tijdschriften

                             Details for article 5 of 8 found articles
<< previous    next >>
 Koninklijke Bibliotheek - National Library of the Netherlands