Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
McMillin, Bruce - Department of Computer Science, University of Missouri-Rolla
Infrastructure Network Layer
Runtime Assertion Checking of Temporal Specifications in a Mobile Environment -AHS
