Catherine Linley

2PUBLICATIONS
6CO-AUTHORS
Infectious diseasesFormal methods for software
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (2)

|Jul 21, 2017
MUFINS: multi-formalism interaction network simulator.

Huihai Wu, Axel von Kamp, Vytautas Leoncikas

Pageof 1