Cardelli, Luca and Tribastone, Mirco and Tschaikowski, Max and Vandin, Andrea
Comparing Chemical Reaction Networks:A Categorical and Algorithmic Perspective.
In: Thirty-First Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS), July 5-8, 2016, New York, USA
(In Press)
(2016)