![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Publisher: John Wiley & Sons Inc
E-ISSN: 2047-7481|2047-7473|10|793-820
ISSN: 2047-7473
Source: JOURNAL OF SOFTWARE: EVOLUTION AND PROCESS (ELECTRONIC), Vol.2047-7473, Iss.10, 2015-10, pp. : 793-820
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)
Model checking security properties of control flow graphs
By Besson F.
Journal of Computer Security, Vol. 9, Iss. 3, 2001-01 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
On extended P 4 -reducible and extended P 4 -sparse graphs
By Giakoumakis V. Vanherpe J.-M.
Theoretical Computer Science, Vol. 180, Iss. 1, 1997-06 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Extended Superstability in Control Theory
By Polyak B. T.
Automation and Remote Control, Vol. 65, Iss. 4, 2004-04 ,pp. :