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.

Checking EMTLK properties of timed interpreted systems via bounded model checking

Bozena Wozna-Szczesniak. Checking EMTLK properties of timed interpreted systems via bounded model checking. In Ana L. C. Bazzan, Michael N. Huhns, Alessio Lomuscio, Paul Scerri, editors, International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014. pages 1477-1478, IFAAMAS/ACM, 2014. [doi]

Authors

Bozena Wozna-Szczesniak

This author has not been identified. Look up 'Bozena Wozna-Szczesniak' in Google
runs on