![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Publisher: IGI Global_journal
E-ISSN: 1947-3044|2|2|65-76
ISSN: 1947-3036
Source: International Journal of Secure Software Engineering (IJSSE), Vol.2, Iss.2, 2011-04, pp. : 65-76
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)
Specifying Coalgebras with Modal Logic
By Kurz A.
Electronic Notes in Theoretical Computer Science, Vol. 11, Iss. 1, 2004-01 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Specifying coalgebras with modal logic
By Kurz A.
Theoretical Computer Science, Vol. 260, Iss. 1, 2001-06 ,pp. :