Studia Informatica : systems and information technology - Tom Vol. 1-2(25) (2021) - Biblioteka Nauki - Yadda

Ten serwis zostanie wyłączony 2025-02-11.

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Tom - szczegóły

Tytuł artykułu

Vol. 1-2(25)

Czasopismo

Studia Informatica : systems and information technology

Wydawca

Rocznik

2021

Identyfikatory

Zawartość wolumenu

Vol. 1-2(25)
- artykuł: Unbounded Model Checking for ATL (Kański M., Niewiadomski A., Kacprzak M., Penczek W., Nabiałek W.), s. 5--22

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.