Revision as of 08:06, 27 August 2008 edit 88.242.89.203 (talk) No edit summary ← Previous edit		Revision as of 08:07, 27 August 2008 edit undo 88.242.89.203 (talk) No edit summary Next edit →
Line 3: ==References== * Zhenbang Chen, [[Zhiming Liu]], Ander P. Ravn and Vlker Stolz (2008). ''Refinement and Veri�cation in Component-Based Model Driven Design''. UNU-IIST Research Report 381. Accepted by [[Journal of [[Science of Computer Programming]]. * Liang Zhao, Xiaojian Liu, [[Zhiming Liu]] and Zongyan Qiu (2007). ''Graph transformations for object-oriented refinement'', [[Formal Aspects of Computing]] (published online publication now and hard copy later), 2007. It is also available as as UNU-IIST Research Report 381.

RCOS (computer sciences): Difference between revisions