Work

Model Checking CTL*[DC]

Year: 2001
Type: conference-paper
Language: English
Open Access status: bronze
OpenAlex ID: W2144039444
FWCI: 1.316
Cites: 28
Cited by: 33
Related to: 10