Title: SAT-based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems.
Authors: Bożena Woźna-Szcześniak, Andrzej Zbrzezny
Journal: Declarative Agent Languages and Technologies X. The 10th International Workshop, (DALT 2012 )
Publication type: conference
DOI: 10.1007/978-3-642-37890-4/page/1