Using Transitivity and Modularity in Chemical Reaction Network Bisimulation
Author: Robert F. Johnson
Paper Information
| Title: | Using Transitivity and Modularity in Chemical Reaction Network Bisimulation |
| Authors: | Robert F. Johnson |
| Proceedings: | VEMDP Camera-ready abstracts |
| Editors: | Nicola Paoletti and Frits Dannenberg |
| Keywords: | Chemical Reaction Networks, Formal verification, Bisimulation, Computational Complexity |
| Abstract: | ABSTRACT. |
| Pages: | 3 |
| Talk: | Jul 19 16:20 (Session 136F) |
| Paper: |  |