Collaborated with:
L.Cardelli M.C.0002 M.Fränzle M.Z.Kwiatkowska L.Laurenti N.Paoletti
Talks about:
synthesi (1) reaction (1) network (1) syntax (1) chemic (1) optim (1) guid (1)
Person: Max Whitby
DBLP: Whitby:Max
Contributed to:
Wrote 1 papers:
- CAV-2017-CardelliCFKLPW #network #synthesis
- Syntax-Guided Optimal Synthesis for Chemical Reaction Networks (LC, MC0, MF, MZK, LL, NP, MW), pp. 375–395.