Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Book
%1 davies_03_using
%A Davies, Jim
%A Crichton, Charles
%D 2003
%J : Formal Methods and Software Engineering
%K 2003 \_no\_doi \_pdf
%P 105--124
%T Using State Diagrams to Describe Concurrent Behaviour
%U http://www.springerlink.com/content/0lue7925vpmq333w
@book{davies_03_using,
added-at = {2009-03-10T04:44:43.000+0100},
author = {Davies, Jim and Crichton, Charles},
biburl = {https://www.bibsonomy.org/bibtex/205f0714e9ebf3c9d422a678643411679/leonardo},
citeulike-article-id = {1106768},
interhash = {c7cd1f48d0602af1578c9a509affc142},
intrahash = {05f0714e9ebf3c9d422a678643411679},
journal = {: Formal Methods and Software Engineering},
keywords = {2003 \_no\_doi \_pdf},
pages = {105--124},
posted-at = {2007-02-14 12:30:46},
priority = {4},
timestamp = {2009-03-10T04:44:43.000+0100},
title = {Using State Diagrams to Describe Concurrent Behaviour},
url = {http://www.springerlink.com/content/0lue7925vpmq333w},
year = 2003
}