%0 Thesis %1 reeve_05_refinement %A Reeve, Greg %D 2005 %J PhD Thesis %K _hardcopy refinement semantics 2005 statecharts %T A refinement theory for ^I¼-charts %U http://www.cs.waikato.ac.nz/pubs/2005/pdfs/reeve-thesis.pdf

@phdthesis{reeve_05_refinement, added-at = {2009-02-11T21:03:51.000+0100}, author = {Reeve, Greg}, biburl = {https://www.bibsonomy.org/bibtex/2c8fe4ba4da15d77d5cfb766383b16f31/leonardo}, citeulike-article-id = {890888}, interhash = {53f4af86a96d507cdd5e7e692d4a9316}, intrahash = {c8fe4ba4da15d77d5cfb766383b16f31}, journal = {PhD Thesis}, keywords = {_hardcopy refinement semantics 2005 statecharts}, posted-at = {2006-10-10 03:03:45}, priority = {5}, school = {The University of Waikato, NZ}, timestamp = {2009-02-11T21:03:51.000+0100}, title = {A refinement theory for ^{I}¼-charts}, url = {http://www.cs.waikato.ac.nz/pubs/2005/pdfs/reeve-thesis.pdf}, year = 2005 }