Revision as of 08:09, 27 August 2008 edit 88.242.89.203 (talk) No edit summary ← Previous edit		Revision as of 08:27, 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~~Volker 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 (2008). ''Graph transformations for object-oriented refinement'', [[Formal Aspects of Computing]] (published online publication now and hard copy later). It is also available as as UNU-IIST Research Report 381.

RCOS (computer sciences): Difference between revisions