Improving the Timed Automata Approach to Biological Pathway Dynamics.

Published in: Models, Algorithms, Logics and Tools (2017)

Keyphrases