Towards partial order reductions for fragments of alternating-time temporal logicPiotr Dembiński
Towards partial order reductions for fragments of alternating-time temporal logic
9 bibliotek2 wydania · 2016
O książce
- Autor
- Piotr Dembiński
- Lata wydań
- 2016
- Liczba wydań
- 2
- Języki
- angielski
- Rodzaj
- książka
Dostępna w 9 bibliotekach: Biblioteka Jagiellońska (Kraków), Biblioteka Narodowa (Warszawa), Biblioteka Główna Uniwersytetu Gdańskiego (Gdańsk), Biblioteka Główna w Toruniu (Toruń), Biblioteka na Koszykowej (Warszawa), Biblioteka Nauk Ścisłych, Przyrodniczych i Medycznych (Opole), Biblioteka UMCS (Lublin), Biblioteka Uniwersytecka w Warszawie (Warszawa), Książnica Pomorska (Szczecin)