@inproceedings{talcott-16fmbibm,
title = {The Pathway Logic Formal Modeling System: Diverse views of a formal representation of signal transduction.}.
author = {Carolyn Talcott},
booktitle = {Workshop on Formal Methods in Bioinformatics and Biomedicine},
year = 2016,
editor = {Qinsi Wang},
}