Christopher Langmead and Sumit Kumar Jha:
Using Bit Vector Decision Procedures for Protein Folding Pathways. In Proceedings of CFV 2007. [ Download PDF ]
Christopher Langmead and Sumit K Jha:
Temporal Logic Model Checking of Protein Folding Pathways. In Proceedings of WABI 2007 (Lecture Notes in Bioinformatics). [ Download PDF ]