scientific article; zbMATH DE number 1950656

MaRDI QIDQ4413383zbMATH OpenFDO

Authors Jean-Luc Koning, Ivan Romero-Hernandez

Publication date 17 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2585/25850126.htm

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence (68T99) Computing methodologies and applications (68U99)

Recommendations

• Objects, Agents, and Features
• scientific article; zbMATH DE number 2080581
• scientific article; zbMATH DE number 1950658
• scientific article; zbMATH DE number 1951086
• scientific article; zbMATH DE number 1759742

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4413383)