![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Publisher: Cambridge University Press
E-ISSN: 1469-8072|27|7|1108-1110
ISSN: 0960-1295
Source: Mathematical Structures in Computer Science, Vol.27, Iss.7, 2017-10, pp. : 1108-1110
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Special Issue on: Temporal Logic in Engingeering
AI EDAM, Vol. 11, Iss. 3, 1997-06 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Foreword for special issue for RAAD 2013 Conference – ROBOTICA
Robotica, Vol. 33, Iss. 5, 2015-05 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)