1. Verification of clocked and hybrid systems

   • Yonit Kesten
   • Zohar Manna
   • Amir Pnueli

   Original articles Pages: 837 - 912

2. Evolutionary systems: a language generating device inspired by evolving communities of cells

   • Erzsébet Csuhaj-Varjú
   • Victor Mitrana

   Original articles Pages: 913 - 926