Model checking Java concurrent programs
Year: 2009
Type: article
Source: Jisuanji gongcheng yu sheji
Author: Miao Li
Institution: Hunan University
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2375036959