![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Author: Raibulet Claudia Cammareri Daniele
Publisher: Emerald Group Publishing Ltd
ISSN: 1742-7371
Source: International Journal of Pervasive Computing and Communications, Vol.7, Iss.2, 2011-06, pp. : 132-146
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)
Automatic generation of invariants and intermediate assertions
By Bjorner N. Browne A. Manna Z.
Theoretical Computer Science, Vol. 173, Iss. 1, 1997-02 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Automatic capitalisation generation for speech input
Computer Speech & Language, Vol. 18, Iss. 1, 2004-01 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)