“有界情境演算行动理论与可判定验证”

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

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

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