The Community for Technology Leaders
Software Engineering, International Conference on (2001)
Toronto, Canada
May 12, 2001 to May 19, 2001
ISBN: 0-7695-1050-7
pp: 0835
R. Alur , University of Pennsylvania
L. de Alfaro , University of California, Berkeley
R. Grosu , State University of New York, Stony Brook
T. A. Henzinger , University of California, Berkeley
M. Kang , University of Pennsylvania
C. M. Kirsch , University of California, Berkeley
R. Majumdar , University of California, Berkeley
F. Mang , University of California, Berkeley
B. Y. Wang , University of Pennsylvania
INDEX TERMS
CITATION

R. Grosu et al., "JMOCHA: A Model Checking Tool that Exploits Design Structure," Software Engineering, International Conference on(ICSE), Toronto, Canada, 2001, pp. 0835.
doi:10.1109/ICSE.2001.919196
92 ms
(Ver 3.3 (11022016))