Combining Refinement and Signal-Temporal Logic for Biological Systems

Publication
International Conference on Intelligent Computer Mathematics