“BLITZ：用于真实世界程序的组合有界模型检查。”

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

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

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