Goksel Misirli, Matteo Cavaliere, William Waites, Matthew R. Pocock, Curtis Madsen, Owen Gilfellon, Ricardo Honorato-Zimmer, Paolo Zuliani, Vincent Danos, Anil Wipat. Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization. Bioinformatics, 32(6):908-917, 2016. [doi]
Abstract is missing.