Wojciech Palacz, Ewa Grabska, Szymon Gajek. Conceptual Designing Supported by Automated Checking of Design Requirements and Constraints. In Daniel D. Frey, Shuichi Fukuda, Georg Rock, editors, Improving Complex Systems Today, Proceedings of the 18th ISPE International Conference on Concurrent Engineering, July 4-8, 2011, Boston, MA, USA. pages 257-265, Springer, 2011.
Abstract is missing.