1538-7305/asset/BLTJ_left.gif?v=1&s=df1910295c4b92ca88e2ec27888c8bfa55ff9e94)
1538-7305/asset/BLTJ_right.gif?v=1&s=38ef32a461557615cf6b0fb17d59b6d247e0e7f7)
Software
Software verification at Bell Labs: One line of development
Article first published online: 14 AUG 2002
DOI: 10.1002/bltj.2206
Copyright © 2000 Lucent Technologies Inc.
Issue
1538-7305/asset/cover.gif?v=1&s=af333c984522ad7da04eca92a73d812fb93abc8e "Bell Labs Technical Journal")
Bell Labs Technical Journal
Special Issue: Bell Labs 75th Anniversary: 1925–2000
Volume 5, Issue 1, pages 35–45, Spring 2000
Additional Information
How to Cite
Holzmann, G. J. (2000), Software verification at Bell Labs: One line of development. Bell Labs Tech. J., 5: 35–45. doi: 10.1002/bltj.2206
Publication History
- Issue published online: 14 AUG 2002
- Article first published online: 14 AUG 2002
- Manuscript Accepted: MAY 2000
- Abstract
- References
- Cited By
Options for accessing this content:
- If you have access to this content through a society membership, please first log in to your society website.
- Login via Athens http://onlinelibrary.wiley.com/athens or other institutional login options http://onlinelibrary.wiley.com/login-options .
- You can purchase online access to this Article for a 24-hour period (price varies by title)
- If you already have a Wiley Online Library or Wiley InterScience user account: login above and proceed to purchase the article.
- New Users: Please register, then proceed to purchase the article.
Registered Users please login:
- Access your saved publications, articles and searches
- Manage your email alerts, orders and subscriptions
- Change your contact information, including your password
Please register to:
- Save publications, articles and searches
- Get email alerts
- Get all the benefits mentioned below!