%0 Book Section %1 TovalAleman2000 %A Toval, A. %A Alemán, J.L.F. %B Formal Methods for Open Object-based Distributed Systems IV %D 2000 %E Smith, Scott F. %E Talcott, Carolyn L. %K UML %P 183-206 %T Formally Modeling UML and its Evolution: a Holistic Approach

@incollection{TovalAleman2000, added-at = {2008-07-07T16:45:32.000+0200}, author = {Toval, A. and {Alem\'an}, J.L.F.}, biburl = {https://www.bibsonomy.org/bibtex/26a71efd2941322990d1f4e5a11be642c/pdeleenh}, booktitle = {Formal Methods for Open Object-based Distributed Systems IV}, date-modified = {2007-10-10 10:33:44 +0200}, editor = {Smith, Scott F. and Talcott, Carolyn L.}, interhash = {10803d07f921a8e79d227e53b61e0c11}, intrahash = {6a71efd2941322990d1f4e5a11be642c}, keywords = {UML}, month = {September}, owner = {pdeleenh}, pages = {183-206}, timestamp = {2008-07-07T16:47:56.000+0200}, title = {Formally Modeling {U}{M}{L} and its Evolution: a Holistic Approach}, year = 2000 }