Marek Grabowski, Grzegorz Bokota, Jacek Sroka, Andrzej M. Kierzek. Verification of Dynamic Behaviour in Qualitative Molecular Networks Describing Gene Regulation, Signalling and Whole-cell Metabolism. Fundamenta Informaticae, 160(1-2):199-219, 2018. [doi]
Abstract is missing.