Combining Refinement and Signal-Temporal Logic for Biological Systems

Usman Sanwal, Umair Siddique
January 2017
PDF
Type
Conference paper
Publication
International Conference on Intelligent Computer Mathematics