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

Bozena Wozna-Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny

Browse the full EPIA paper archive.