共 50 条
- [34] GSTARI model of BPR assets in West Java']Java, Central Java']Java, and East Java']Java [J]. 7TH INTERNATIONAL SEMINAR ON NEW PARADIGM AND INNOVATION ON NATURAL SCIENCE AND ITS APPLICATION, 2018, 1025
- [37] Java']Java Pathfinder a translator from Java']Java to Promela [J]. THEORETICAL AND PRACTICAL ASPECTS OF SPIN MODEL CHECKING, 1999, 1680 : 152 - 152
- [39] Jivin' with (Java']Java and) Java']JavaScript [J]. 45TH ANNUAL CONFERENCE ON IMAGINATION, INNOVATION AND COMMUNICATION, 1998, : 331 - 333
- [40] K-Java']Java: A Complete Semantics of Java']Java [J]. ACM SIGPLAN NOTICES, 2015, 50 (01) : 445 - 456