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
 
                             4 results found
no title author magazine year volume issue page(s) type
1 Descending chains and narrowing on template abstract domains Amato, Gianluca
2017
55 6 p. 521-545
article
2 Preface for the special issue “FM15” Boer, Frank de
2018
55 6 p. 459-460
article
3 Probabilistic bisimulation for realistic schedulers Zhang, Lijun
2018
55 6 p. 461-488
article
4 Replication, refinement & reachability: complexity in dynamic condition-response graphs Debois, Søren
2017
55 6 p. 489-520
article
                             4 results found
 
 Koninklijke Bibliotheek - National Library of the Netherlands