scientific article
From MaRDI portal
Publication:3431037
zbMath1116.68051MaRDI QIDQ3431037
Kaile Su, XiangYu Luo, Jinji Yang
Publication date: 5 April 2007
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.574.8801
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (1)
This page was built for publication:
