Verification of clocked and hybrid systems Yonit KestenZohar MannaAmir Pnueli Original articles Pages: 837 - 912
Evolutionary systems: a language generating device inspired by evolving communities of cells Erzsébet Csuhaj-VarjúVictor Mitrana Original articles Pages: 913 - 926