Information Sciences Journal

Overview

publication venue for

• Model checking temporal properties of reaction systems 2015
• EXPLOITING DATA-DISTRIBUTION PATTERNS IN MODELING TUPLE SELECTIVITIES IN A DATABASE 1993

Research

keywords

• 01 Mathematical Sciences, 08 Information and Computing Sciences, 09 Engineering