Software-practice & experience. 1994;24(7):643-658. doi: 10.1002/spe.4380240704 Q22.72025
Automatic synthesis of state machines from trace diagrams
DOI: 10.1002/spe.4380240704
摘要
Software-practice & experience. 1994;24(7):643-658. doi: 10.1002/spe.4380240704 Q22.72025
DOI: 10.1002/spe.4380240704
摘要