| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Computer-Aided Verification '90: Proceedings of a Dimacs Workshop June 18-21, 1990 | 978-O-8218-6594-1 (O-8218-6594-3) | 1991 | E. M. Clarke |
D.C. · D.O. · D.W. · **O.C.** · W.C.
DIMACS Workshop on Descriptive Complexity and Finite Models (1996 : Princeton University)