Author: Yunja Choi
Publications
Publication period start: 2002
Number of co-authors: 2
Co-authors
Number of
publications with favourite co-authors
Productive Colleagues
Most productive
colleagues in number of publications
Publications
Choi, Yunja, Rayadurgam, Sanjai, Heimdahl, Mats Per Erik (2002): Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints. In Requir. Eng., 7 (4) pp. 225-242. https://dx.doi.org/10.1007/s007660200018