Wyszukiwanie zaawansowane

Wyniki wyszukiwania: 5.

Wyniki
		Bounded model checking for interpreted systems / Wojciech Penczek and Alessio Lomuscio. autor Penczek, Wojciech Lomuscio, Alessio Serie: Prace IPI PAN ; 946 Rodzaj materiału: Tekst; Format: druk Język: angielski Język streszczenia: polski Szczegóły wydania: Warsaw : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2002 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
		Towards scenarios of external attacks upon security protocols / Piotr Dembiński, Gizela Jakubowska, Wojciech Penczek. autor Dembiński, Piotr Jakubowska, Gizela Penczek, Wojciech Serie: Prace IPI PAN ; nr 1012 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: angielski Język streszczenia: polski Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2008 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
		SAT-based bounded model checking for the universal fragment of TCTL / Wojciech Penczek, Bożena Woźna and Andrzej Zbrzezny. autor Penczek, Wojciech Woźna-Szcześniak, Bożena Zbrzezny, Andrzej Serie: Prace IPI PAN ; 947 Rodzaj materiału: Tekst; Format: druk Język: angielski Język streszczenia: polski Szczegóły wydania: Warsaw : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2002 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
		Underapproximating ATL with imperfect information and imperfect recall / Wojciech Jamroga, Michał Knapik. autor Jamroga, Wojciech Knapik, Michał Polska Akademia Nauk. Instytut Podstaw Informatyki [pbl] Serie: Prace IPI PAN ; 1032 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: angielski Język streszczenia: polski Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2015 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
		Timed automata based model checking of timed security protocols / Mirosław Kurkowski, Wojciech Penczek. autor Kurkowski, Mirosław, (1971-2024) Penczek, Wojciech Serie: Prace IPI PAN ; nr 1010 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: angielski Język streszczenia: polski Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2008 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.