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 6 of 11 found articles
 
 
  A two-level temporal logic for evolving specifications
 
 
Title: A two-level temporal logic for evolving specifications
Author: Schobbens, P.Y.
Saake, G.
Sernadas, A.
Sernadas, C.
Appeared in: Information processing letters
Paging: Volume 83 (2002) nr. 3 pages 6 p.
Year: 2002
Contents:
Publisher: Elsevier Science B.V.
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

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