Liam Garvie

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 1

Top Topics

Mathematical Morphology

Closely Related

Bayesian Networks

Top Venues

Publications

Liam Garvie, Ross Duncan
Verifying the Smallest Interesting Colour Code with Quantomatic. QPL (2017)