%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 }