On Complexity of the Behavioral Properties Grigore Rosu and Dorel Lucanu On Complexity of the Behavioral Properties Project(s): CIRC Grant(s): CIRC PDF IC0701 BIB
