Biblio

Export 5 results:
Sort by: Author Title Type [ Year  (Desc)]
Filters: Keyword is Formal Verification  [Clear All Filters]
2013
Ipate, F., Lefticaru R., Mierla L., Valencia-Cabrera L., Han H., Zhang G., et al. (2013).  Kernel P Systems: Applications and Implementations. (Zhixiang Yin, Linqiang Pan, Xianwen Fang, Ed.).Eighth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA), 2013. 212, 1081-1089. Abstract
2010
2002
Pérez-Jiménez, M. J., & Sancho-Caparrini F. (2002).  Verifying a P system generating squares. Romanian Journal of Information Science and Technology. 5(1-2), 181-191.

Statistics

  • Books (11)
  • Edited Books (28)
  • Contributions to Book Chapters (42)
  • Journal Papers (380)
  • Papers in Collective Volumes (0)
  • Technical Reports (3)
  • Conference Contributions (269)
  • Conference Proceedings (37)