VSL 2014: VIENNA SUMMER OF LOGIC 2014

Identification of Components and Modular Verification of Biochemical Pathways

Author: Paolo Milazzo

PapersPapers with AbstractsPrefaceAuthor IndexKeyword IndexAdditional files

Paper Information

Title:Identification of Components and Modular Verification of Biochemical Pathways
Authors:Paolo Milazzo
Proceedings:VEMDP 2014 Contributed Papers
Editors: Chris Thachuk, Marta Kwiatkowska and Andrew Phillips
Keywords:
Abstract:
Pages:1
Talk:Jul 17 17:45
Paper:
Disclaimer | Powered by EasyChair Smart Program