![]() |
Ask others: ACM DL/Guide -
- CSB - MetaPress - Google - Bing - Yahoo
| 2 | Darren D. Cofer, Eric Engstrom, Robert P. Goldman, David J. Musliner, Steve Vestal: Applications of Model Checking at Honeywell Laboratories. SPIN 2001: 296-303 |
Selection of 1 from 4 records - Eric Engstrom has 13 coauthors
Copyright © 2009-12-08 by Michael Ley (ley@uni-trier.de)