The Community for Technology Leaders
Proceedings. Technology of Object-Oriented Languages. TOOLS 24 (Cat. No.97TB100240) (1997)
Beijing, China
Sept. 1, 1997 to Sept. 1, 1997
ISBN: 0-8186-8551-4
pp: 350
INDEX TERMS
CITATION

J. Zhang, "Finite Model Generation and Formal Specification Development," Proceedings. Technology of Object-Oriented Languages and Systems, TOOLS 25 (Cat. No.97TB100239)(TOOLS), Melbourne, Austrailia, 1997, pp. 350.
doi:10.1109/TOOLS.1997.713562
89 ms
(Ver 3.3 (11022016))