iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/iastedSE/ShenL05.xml
Wuwei Shen Weng Liong Low Using Abstract State Machines to Support UML Model Instantiation Checking. 100-105 2005 conf/iastedSE/2005 IASTED Conf. on Software Engineering db/conf/iastedSE/se2005.html#ShenL05