%0 Thesis %1 porres_01_modeling %A Porres, I. %D 2001 %K refinement semantics statecharts 2001 thesis %N 34 %T Modeling and Analyzing Software Behavior in UML %U http://citeseer.ist.psu.edu/602521.html %X Software is everywhere. Computers are an integral part of our society and economy...

@phdthesis{porres_01_modeling, abstract = {Software is everywhere. Computers are an integral part of our society and economy...}, added-at = {2009-02-12T11:39:50.000+0100}, author = {Porres, I.}, biburl = {https://www.bibsonomy.org/bibtex/28b6995462693d243641771dd3d898b14/leonardo}, citeulike-article-id = {841576}, interhash = {fd86dd545f9ed5638577fc95d2d46134}, intrahash = {8b6995462693d243641771dd3d898b14}, keywords = {refinement semantics statecharts 2001 thesis}, number = 34, posted-at = {2006-09-13 03:21:22}, priority = {2}, school = {TUCS Turku Centre for Computer Science}, timestamp = {2009-02-12T11:39:50.000+0100}, title = {Modeling and Analyzing Software Behavior in UML}, url = {http://citeseer.ist.psu.edu/602521.html}, year = 2001 }