scientific article; zbMATH DE number 1690077

MaRDI QIDQ2763075zbMATH OpenFDO

Authors Matteo Pradella, Marco Colombetti

Publication date 14 January 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2003/20030084

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 1869381
• scientific article; zbMATH DE number 1755744
• scientific article; zbMATH DE number 1966919
• Applying Formal Methods: Testing, Performance, and M/E-Commerce
• scientific article; zbMATH DE number 1693433

Cited in

(10)

• Formal specification of multi-agent e-barter systems
• scientific article; zbMATH DE number 1693433 (Why is no real title available?)
• scientific article; zbMATH DE number 1700372 (Why is no real title available?)
• scientific article; zbMATH DE number 1700373 (Why is no real title available?)
• scientific article; zbMATH DE number 1700374 (Why is no real title available?)
• scientific article; zbMATH DE number 1966919 (Why is no real title available?)
• scientific article; zbMATH DE number 2013347 (Why is no real title available?)
• scientific article; zbMATH DE number 1755744 (Why is no real title available?)
• scientific article; zbMATH DE number 1869381 (Why is no real title available?)
• Applying Formal Methods: Testing, Performance, and M/E-Commerce

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 Q2763075)