External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Deduction-Based Modelling and Verification of Agent-Based Systems for Data Integration

Radoslaw Klimek, Lukasz Faber, Marek Kisiel-Dorohinicki. Deduction-Based Modelling and Verification of Agent-Based Systems for Data Integration. In Aleksandra Gruca, Tadeusz Czachórski, Stanislaw Kozielski, editors, Man-Machine Interactions 3, Proceedings of the 3rd International Conference on Man-Machine Interactions, ICMMI 2013, Brenna, Poland, October 22-25, 2013. Volume 242 of Advances in Intelligent Systems and Computing, pages 361-368, Springer, 2013. [doi]

Authors

Radoslaw Klimek

This author has not been identified. Look up 'Radoslaw Klimek' in Google

Lukasz Faber

This author has not been identified. Look up 'Lukasz Faber' in Google

Marek Kisiel-Dorohinicki

This author has not been identified. Look up 'Marek Kisiel-Dorohinicki' in Google
runs on