[IEEE Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) - Koblenz, Germany (2005.09.7-2005.09.9)] Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) - Stuttering abstraction for model checking

✍ Scribed by Nejati, S.; Gurfinkel, A.; Chechik, M.

• Book ID: 115524260
• Publisher: IEEE
• Year: 2005
• Tongue: English
• Weight: 373 KB
• Volume: 0
• Category: Article
• ISBN-13: 9780769524351
• DOI: 10.1109/sefm.2005.44