logo
The Digital Librarian's Digital Library
DOCIS Documents in Computing and Information Science
 
Home >> Journals and Conference Proceedings >> Advances in Computers
 
 
Using Model Checking to Analyze Requirements and Designs
 
Joanne M. Atlee, Marsha Chechik, John D. Gannon
 
Journal Title: Advances in Computers
Date: 1996
Volume: 43
p. 141 - 178
 
 
 
This data comes from DBLP
[SWISH++]Valid XHTML 1.0!
This page is maintained by Angela Cornwell and Thomas Krichel.
It was last updated on 2006-04-12