دانلود رایگان مقالات نشریه ISI اطلاعات و محاسبات

مدل بررسی مدل جمعیت جمعیت مارکوف با تقریبهای تصادفی

Model checking Markov population models by stochastic approximations

32 صفحه فرمت PDF سال انتشار : 2018 دانلود متن کامل مقاله ISI سفارش ترجمه

تشخیص چرخه در منطق درخت محاسبه

Cycle detection in computation tree logic

15 صفحه فرمت PDF سال انتشار : 2018 دانلود متن کامل مقاله ISI سفارش ترجمه

شبیه سازی چند بافر: تصمیم گیری و پیچیدگی

Multi-buffer simulations: Decidability and complexity

31 صفحه فرمت PDF سال انتشار : 2018 دانلود متن کامل مقاله ISI سفارش ترجمه

سنتز توزیع شده برای منطق زمانی پارامتریک

Distributed synthesis for parameterized temporal logics

18 صفحه فرمت PDF سال انتشار : 2018 دانلود متن کامل مقاله ISI سفارش ترجمه

A delayed promotion policy for parity games

20 صفحه فرمت PDF سال انتشار : 2018 دانلود متن کامل مقاله ISI سفارش ترجمه

Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy

24 صفحه فرمت PDF سال انتشار : 2018 دانلود متن کامل مقاله ISI سفارش ترجمه