Towards Automated Verification of P Systems Using Spin

Publisher： IGI Global_journal

E-ISSN： 1947-9298|2|3|1-12

ISSN： 1947-928x

Source： International Journal of Natural Computing Research (IJNCR), Vol.2, Iss.3, 2011-07, pp. : 1-12

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

Towards real-time VMAT verification using a prototype, high-speed CMOS active pixel sensor

By Zin Hafiz M.   Harris Emma J.   Osmond John P.F.   Allinson Nigel M.   Evans Philip M.  

Physics in Medicine and Biology, Vol. 58, Iss. 10, 2013-05 ,pp. : 3359-3375

IOP Publishing

Access to resources Recommend Favorite

Comprehension of synthetic speech with three text-to-speech systems using a sentence verification paradigm

By Raghavendra Parimala   Allen George  

Augmentative & Alternative Communication, Vol. 9, Iss. 2, 1993-01 ,pp. : 126-133

Informa Healthcare

Access to resources Recommend Favorite

Segmentation of Peripheral Blood Smear Images Using Tissue-Like P Systems

By  

International Journal of Natural Computing Research (IJNCR), Vol. 3, Iss. 1, 2012-01 ,pp. : 16-27

IGI Global_journal

Access to resources Recommend Favorite

Simulating Spiking Neural P Systems Without Delays Using GPUs

By  

International Journal of Natural Computing Research (IJNCR), Vol. 2, Iss. 2, 2011-04 ,pp. : 19-31

IGI Global_journal

Access to resources Recommend Favorite

P201: Towards the establishment of a rodent model of hepevirus infection using rat hepatitis E virus

By  

JOURNAL OF VIRAL HEPATITIS (ELECTRONIC), Vol. 22, Iss. S2, 2015-06 ,pp. : 121-121

John Wiley & Sons Inc

Access to resources Recommend Favorite