Join Us
Sign In
My Subscriptions
Magazines
Journals
Video Library
Conference Proceedings
Individual CSDL Subscriptions
Institutional CSDL Subscriptions
Resources
Career Center
Tech News
Resource Center
Press Room
Advertising
Librarian Resources
IEEE.org
Help
About Us
Career Center
Cart
Create Account
Sign In
Toggle navigation
My Subscriptions
Browse Content
Resources
All
Computer
Current Issue
Past Issues
Issue 2000.10
About
Write for Us
Peer Review
Get Access
Previous
Next
Table of Contents
Past Issues
Home
Magazines
Computer
2000.10
Computer
E-Process Design and Assurance Using Model Checking
Oct.
2000,
pp. 48-53,
vol. 33
DOI Bookmark:
10.1109/2.876292
Authors
Wenli Wang
Zoltán Hidvégi
Andrew D. Bailey
Andrew B. Whinston
Download PDF
SHARE ARTICLE
Generate Citation
Abstract
[ back to top ]