EFSMT: A Logical Framework for Cyber-Physical Systems

Chih-Hong Cheng , Natarajan Shankar , Harald Rueß und Saddek Bensalem

CoRR, abs/1306.3456

2013

Url: http://arxiv.org/abs/1306.3456