Model Checking the Concurrent Programs Based on the Java Memory Model
Year: 2010
Type: article
Source: Computer Engineering and Science
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: W2370476667