Title: Two Approaches to Bounded Model Checking for a Soft Real-Time Epistemic Computation Tree Logic
Authors: Artur Męski, Bożena Woźna-Szcześniak, Agnieszka M. Zbrzezny, Andrzej Zbrzezny
Journal: The 10th International Symposium on Distributed Computing and Artificial Intelligence (DCAI 2013)
Publication type: conference