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]
Abstract is missing.