Descriptive complexity and model checking
Publication Date
1998
Journal or Book Title
FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE
Pages
1-5
Volume
1530
Book Series Title
LECTURE NOTES IN COMPUTER SCIENCE
Recommended Citation
Immerman, N, "Descriptive complexity and model checking" (1998). FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE. 576.
Retrieved from https://scholarworks.umass.edu/cs_faculty_pubs/576
COinS