![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Author: Ito Naoharu
Publisher: Springer Publishing Company
ISSN: 1433-5298
Source: Artificial Life and Robotics, Vol.17, Iss.1, 2012-10, pp. : 140-144
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)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Bounded model checking of infinite state systems
By Schuele Tobias Schneider Klaus
Formal Methods in System Design, Vol. 30, Iss. 1, 2007-02 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Disturbance Attenuation of LPV Systems with Bounded Inputs
By Jabbari F.
Dynamics and Control, Vol. 11, Iss. 2, 2001-04 ,pp. :