Digital Library
Close Browse articles from a journal
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
                                       All articles of the corresponding issues
                             1 results found
no title author magazine year volume issue page(s) type
1 Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes Montali, Marco
102 3-4 p. 325-361
                             1 results found
 Koninklijke Bibliotheek - National Library of the Netherlands