Author: Yunja Choi
Publication Overview
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