Report copyright - Modular Interpreted Systems: A Preliminary Report · 2006-12-23 · Keywords: open computational systems, temporal and strategic logics, modeling methodology, model checking 1 Introduction
Please pass captcha verification before submit form