Model Checking a Synchronous Diabetes-Cancer Logical Network

Publisher： Bentham Science Publishers

E-ISSN： 2212-392x|8|1|9-15

ISSN： 1574-8936

Source： Current Bioinformatics, Vol.8, Iss.1, 2013-01, pp. : 9-15

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A logical encoding of the π-calculus: model checking mobile processes using tabled resolution

By Yang Ping   Ramakrishnan C.R.   Smolka Scott A.  

International Journal on Software Tools for Technology Transfer, Vol. 6, Iss. 1, 2004-07 ,pp. : 38-66

Springer Publishing Company

Access to resources Recommend Favorite

Verification of a network ASIC Component using Bounded Model Checking

By  

International Journal of Electronics, Vol. 94, Iss. 2, 2007-02 ,pp. : 183-196

Taylor & Francis Ltd

Access to resources Recommend Favorite

Algorithm model research of the logical cutting tree on the network maximum flow

By Fang Zhigeng   Liu Sifeng   Xu Baoguang  

Kybernetes: The International Journal of Systems & Cybernetics, Vol. 33, Iss. 2, 2004-02 ,pp. : 255-262

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

An experimental model of diabetes and cancer in rats

By Cocca C.   Martin G.   Rivera E.   Davio C.   Cricco G.   Lemos B.   Fitzsimons C.   Gutierrez A.   Levin E.   Levin R.   Croci M.   Bergoc R.M.  

European Journal of Cancer, Vol. 34, Iss. 6, 1998-05 ,pp. : 889-894

Elsevier

Access to resources Recommend Favorite

Model Checking with Strong Fairness

By Kesten Yonit   Pnueli Amir   Raviv Li-On   Shahar Elad  

Formal Methods in System Design, Vol. 28, Iss. 1, 2006-01 ,pp. : 57-84

Springer Publishing Company

Access to resources Recommend Favorite