SAT-based Bounded Model Checking for SE-LTL
-
Published:2007-07
Issue:
Volume:
Page:
-
ISSN:
-
Container-title:Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2007)
-
language:
-
Short-container-title:
Author:
Conghua Zhou,Shiguang Ju