%0 Thesis %1 lam_06_formal %A Lam, Vitus S. W. %D 2006 %K 2006 bibtex-import refinement semantics statecharts \_pdf thesis %N CSBU-2006-04 %T A Formal Execution Semantics and Rigorous Analytical Approach for Communicating UML Statechart Diagrams %U http://www.cs.bath.ac.uk/pubdb/download.php?resID=186

@phdthesis{lam_06_formal, added-at = {2009-03-10T04:47:20.000+0100}, author = {Lam, Vitus S. W.}, biburl = {https://www.bibsonomy.org/bibtex/29336adeb9a4666506c5f6ba1fdcdb045/leonardo}, citeulike-article-id = {899375}, interhash = {760e611e49e99f7b69a556314df2cbd3}, intrahash = {9336adeb9a4666506c5f6ba1fdcdb045}, keywords = {2006 bibtex-import refinement semantics statecharts \_pdf thesis}, number = {CSBU-2006-04}, posted-at = {2006-10-16 15:37:21}, priority = {4}, school = {Department of Computer Science, University of Bath}, timestamp = {2009-03-10T04:47:20.000+0100}, title = {A Formal Execution Semantics and Rigorous Analytical Approach for Communicating UML Statechart Diagrams}, url = {http://www.cs.bath.ac.uk/pubdb/download.php?resID=186}, year = 2006 }