dblp.uni-trier.dewww.uni-trier.de

John Cochran

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2003
1EEJohn Cochran, Deepak Kapur, Darko Stefanovic: Model Checking Reconfigurable Processor Configurations for Safety Properties. FPL 2003: 996-999

Coauthor Index

1Deepak Kapur [1]
2Darko Stefanovic [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)