Satoshi Hiratsuka, Akira Fusaoka. On a Model-Based Design Verificationfor Combinatorial Boolean Networks. In Tim Hendtlass, Moonis Ali, editors, Developments in Applied Artificial Intelligence, 15th International Conference on Industrial and Engineering, Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2002, Cairns, Australia, June 17-20, 2002, Proceedings. Volume 2358 of Lecture Notes in Computer Science, pages 758-767, Springer, 2002. [doi]
Abstract is missing.