scientific article; zbMATH DE number 6902542

DOI10.3233/978-1-61499-672-9-760zbMath1403.68129MaRDI QIDQ4576210

Naiqi Li, Yong-Mei Liu, Peiming Mo

Publication date: 12 July 2018

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)

Related Items (1)

Situation calculus for controller synthesis in manufacturing systems with first-order state representation

Uses Software

• GOLOG

This page was built for publication: