M. Edwin Johnson
List of publications from the
DBLP Bibliography Server
-
FAQ
Ask others: ACM
DL
/
Guide
-
-
CSB
-
MetaPress
-
Google
-
Bing
-
Yahoo
2002
1
M. Edwin Johnson: Model Checking Safety Properties of Servo-Loop Control Systems.
DSN 2002
: 45-50
Last update Fri Jun 1 15:44:53 2012 CET by the
DBLP Team
—
Data released under the
ODC-BY 1.0 license
— See also our
legal information page
- CSB - MetaPress - Google - Bing - Yahoo
Data released under the ODC-BY 1.0 license — See also our legal information page