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