Explore projects

TBA

Modified version of the TLA+ tools for usage in ProB

XBA problem generation from SBML code metabolic/kinetic models. Support of Growth Balance Analysis (GBA), FBA and RBA

Presentation for the COMMA 2020 of "Structure or Content? Towards assessing Argument Relevance"