Pi-calculus based assembly mechanism of UML state diagram and Validation of model refinement
Tuesday, July 28, 2009 - 00:14
in Biology & Nature
Paper: Pi-calculus based assembly mechanism of UML state diagram and Validation of model refinement Author: Yefei Zhao, Zongyuan Yang, Jinkui Xie