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 4 of 6 found articles
 
 
  Modular verification of chemical reaction network encodings via serializability analysis
 
 
Title: Modular verification of chemical reaction network encodings via serializability analysis
Author: Lakin, Matthew R.
Stefanovic, Darko
Phillips, Andrew
Appeared in: Theoretical computer science
Paging: Volume 632 (2016) nr. C pages 22 p.
Year: 2016
Contents:
Publisher: Elsevier B.V.
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

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