<style face="normal" font="default" size="100%">Formal verification of a transition P system generating the set 2^n+n^2+n:n>=1</style>

Drupal-Biblio