5863 search results - page 30 / 1173 » On Model-Checking of P Systems |
FTRTFT
1998
Springer
14 years 2 months ago
1998
Springer
LFCS
1994
Springer
14 years 2 months ago
1994
Springer
LICS
1992
IEEE
14 years 1 months ago
1992
IEEE
BIRTHDAY
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We consider programs which are data independent with respect to two type variables X and Y , and can in addition use arrays indexed by X and storing values from Y . We ar...
FMCAD
2006
Springer
14 years 1 months ago
2006
Springer