Chapter 12. Verification of UML Models
- Kevin Lano
Published Online: 19 OCT 2009
DOI: 10.1002/9780470522622.ch12
Copyright © 2009 John Wiley & Sons, Inc.
Book Title

UML 2 Semantics and Applications
Additional Information
How to Cite
Lano, K. (2009) Verification of UML Models, in UML 2 Semantics and Applications (ed K. Lano), John Wiley & Sons, Inc., Hoboken, NJ, USA. doi: 10.1002/9780470522622.ch12
Editor Information
Department of Computer Science, King's College London, London, UK
Publication History
- Published Online: 19 OCT 2009
- Published Print: 19 OCT 2009
ISBN Information
Print ISBN: 9780470409084
Online ISBN: 9780470522622
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 other institutional login options http://onlinelibrary.wiley.com/login-options.
- You can purchase online access to this Chapter 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.
If your institution is a registered Wiley Online Library customer, you can log in under your institution's name to see our content. This access is provided by Shibboleth or Athens.
Type your institution's name in the box below. If your institution is a Wiley customer, it will appear in the list of suggested institutions.
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!
