Join Us
Sign In
My Subscriptions
Magazines
Journals
Video Library
Conference Proceedings
Individual CSDL Subscriptions
Institutional CSDL Subscriptions
Resources
Career Center
Tech News
Resource Center
Press Room
Advertising
Librarian Resources
IEEE.org
Help
About Us
Career Center
Cart
Create Account
Sign In
Toggle navigation
My Subscriptions
Browse Content
Resources
All
Previous
Next
Table of Contents
Similar Articles
Home
Proceedings
ASE
ASE 2004
Proceedings. 19th International Conference on Automated Software Engineering, 2004.
Mapping Template Semantics to SMV
Year: 2004, Pages: 320-325
DOI Bookmark:
10.1109/ASE.2004.10009
Authors
Yun Lu
,
University of Waterloo
Joanne M. Atlee
,
University of Waterloo
Nancy A. Day
,
University of Waterloo
Jianwei Niu
,
University of Waterloo
Download PDF
SHARE ARTICLE
Generate Citation
Abstract
