VSL 2014: VIENNA SUMMER OF LOGIC 2014

NINJA: Boolean Modelling and Formal Verification of Tiered-Rate Chemical Reaction Networks

Author: Aadithya V. Karthik

PapersPapers with AbstractsPrefaceAuthor IndexKeyword IndexAdditional files

Paper Information

Title:NINJA: Boolean Modelling and Formal Verification of Tiered-Rate Chemical Reaction Networks
Authors:Aadithya V. Karthik
Proceedings:VEMDP 2014 Contributed Papers
Editors: Chris Thachuk, Marta Kwiatkowska and Andrew Phillips
Keywords:
Abstract:
Pages:1
Talk:Jul 17 16:30
Paper:
Disclaimer | Powered by EasyChair Smart Program