Yunja Choi

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
2002
Publication period end
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. http://dx.doi.org/10.1007/s007660200018