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.

The BMC Method for the Existential Part of RTCTLK and Interleaved Interpreted Systems

Bozena Wozna-Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny. The BMC Method for the Existential Part of RTCTLK and Interleaved Interpreted Systems. In Luis Antunes, Helena Sofia Pinto, editors, Progress in Artificial Intelligence, 15th Portuguese Conference on Artificial Intelligence, EPIA 2011, Lisbon, Portugal, October 10-13, 2011. Proceedings. Volume 7026 of Lecture Notes in Computer Science, pages 551-565, Springer, 2011. [doi]

Authors

Bozena Wozna-Szczesniak

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

Agnieszka Zbrzezny

This author has not been identified. Look up 'Agnieszka Zbrzezny' in Google

Andrzej Zbrzezny

This author has not been identified. Look up 'Andrzej Zbrzezny' in Google
runs on