FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
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: