Logical Languages for Specification and verification of Reactive System's Behavior

برای خرید مقاله از سایت انجمن کامپیوتر ایران، ابتدا باید به این سایت وارد شوید.
اگر قبلا در این سایت ثبت‌نام کرده‌اید، برای ورود از طریق بخش Login اقدام کنید.
در صورتی که تا به حال در سایت ثبت‌نام نکرده‌‌اید، برای ثبت‌نام در سایت، روی لینک Register in Website کلیک کنید.