Author： Bruno Escoffier Vangelis Paschos
Publisher： Taylor & Francis Ltd
ISSN： 0020-7160
Source： International Journal of Computer Mathematics, Vol.82, Iss.2, 2005-02, pp. : 151-161
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
A Temporal Logic for Proving Properties of Topologically General Executions
Information and Computation, Vol. 124, Iss. 2, 1996-02 ,pp. :
Access to resources
Recommend
By Pliuškevi SRC="/iso-ents/isolat2/ccaron-s.gif" ALT="ccaron" R.
![SRC="/iso-ents/isolat2/ccaron-s.gif" ALT="ccaron" R.](/index/search?type=2&isAccurate=1&searchValue="SRC="/iso-ents/isolat2/ccaron-s.gif" ALT="ccaron" R."){kind=link}
Lithuanian Mathematical Journal, Vol. 41, Iss. 4, 2001-10 ,pp. :
Proving the Reflective Property of an Ellipse
Mathematics Magazine, Vol. 87, Iss. 4, 2014-10 ,pp. :