“利用步骤语义对…进行有效的有界模型检查”

请注意：由于提供了由crossref.org网站和开放引用.net.如果您的出版物的引用数据尚未公开，请考虑要求您的出版商向公众发布您的引用数据。有关更多信息，请参阅公开引用倡议（I4OC）也请注意，无法直接向dblp提交缺失的参考文献或引用数据。

请注意，此功能是正在进行的工作而且它还远远不够完美。尤其是，

• 由于引用数据不可用，以下列表可能不完整，
• 引用字符串可能未成功映射到dblp中列出的项，并且
• 我们没有针对这些列表中给出的所有项目的完整和精心策划的元数据。