%0 Report %1 gout_05_uml %A Gout, O. %A Lambolais, T. %D 2005 %K refinement 2005 statecharts _no_doi uml %T UML Protocol State Machines Incremental Construction: a Conformance-based Refinement Approach %U http://72.14.205.104/search?q=cache:ObdGXP0C094J:drops.dagstuhl.de/portals/trustworthy/fulltext_link.php%3Fid%3D695+%22uml+protocol+state+machines+incremental%22&hl=en&ct=clnk&cd=1

@techreport{gout_05_uml, added-at = {2009-02-11T21:02:22.000+0100}, author = {Gout, O. and Lambolais, T.}, biburl = {https://www.bibsonomy.org/bibtex/2fec9456f47f00e6f5ddf5438737cf4c6/leonardo}, citeulike-article-id = {1185654}, institution = {'{E}cole des Mines d'Al`{e}s}, interhash = {36967b83a737c51a1b9a7e0cfeaee89d}, intrahash = {fec9456f47f00e6f5ddf5438737cf4c6}, keywords = {refinement 2005 statecharts _no_doi uml}, posted-at = {2007-03-24 23:54:34}, priority = {3}, timestamp = {2009-02-11T21:02:22.000+0100}, title = {UML Protocol State Machines Incremental Construction: a Conformance-based Refinement Approach}, url = {http://72.14.205.104/search?q=cache:ObdGXP0C094J:drops.dagstuhl.de/portals/trustworthy/fulltext_link.php%3Fid%3D695+%22uml+protocol+state+machines+incremental%22&hl=en&ct=clnk&cd=1}, year = 2005 }