Combining Refinement and Signal-Temporal Logic for Biological Systems

A4 Conference proceedings


Internal Authors/Editors


Publication Details

List of Authors: Usman Sanwal, Umair Siddique
Place: Edinburgh, Scotland
Publication year: 2017
Book title: Intelligent Computer Mathematics
Volume number: 10383
Start page: 333
End page: 339

Last updated on 2019-14-11 at 03:26