Chapter 8. Axiomatic Semantics of State Machines

  1. Kevin Lano
  1. Kevin Lano and
  2. David Clark

Published Online: 19 OCT 2009

DOI: 10.1002/9780470522622.ch8

UML 2 Semantics and Applications

UML 2 Semantics and Applications

How to Cite

Lano, K. and Clark, D. (2009) Axiomatic Semantics of State Machines, in UML 2 Semantics and Applications (ed K. Lano), John Wiley & Sons, Inc., Hoboken, NJ, USA. doi: 10.1002/9780470522622.ch8

Editor Information

  1. Department of Computer Science, King's College London, London, UK

Author Information

  1. Department of Computer Science, King's College London, London, UK

Publication History

  1. Published Online: 19 OCT 2009
  2. Published Print: 19 OCT 2009

ISBN Information

Print ISBN: 9780470409084

Online ISBN: 9780470522622

SEARCH

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.

Login via OpenAthens

or

Search for your institution's name below to login via Shibboleth.

Please register to:

  • Save publications, articles and searches
  • Get email alerts
  • Get all the benefits mentioned below!

Register now >