Journal of Logic and Computation. 2011;21(1):45-62. doi: 10.1093/logcom/exp004 Q40.72025

A Database Approach to Distributed State-Space Generation

一种分布式状态空间生成的数据库方法

Blom, S.; Lisser, B.; Van De Pol, J.; Weber, M.

DOI: 10.1093/logcom/exp004

期刊名：Journal of logic and computation

缩写：J LOGIC COMPUT

ISSN：0955-792X

e-ISSN：1465-363X

IF/分区：0.7/Q4

全文链接

官方链接

PMC全文

引文链接

复制

已复制！

格式：