Yuichi Fukaya, Noriaki Yoshiura. Extracting Environmental Constraints in Reactive System Specifications. In Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Marina L. Gavrilova, Ana Maria Alves Coutinho Rocha, Carmelo Maria Torre, David Taniar, Bernady O. Apduhan, editors, Computational Science and Its Applications - ICCSA 2015 - 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part IV. Volume 9158 of Lecture Notes in Computer Science, pages 671-685, Springer, 2015. [doi]
Abstract is missing.