Wyszukiwanie zaawansowane

Wyniki wyszukiwania: 5.

Wyniki
		Branching time, bounded model checking for elementary net systems / Wojciech Penczek and Bożena Woźna, Andrzej Zbrzezny. autor Penczek, Wojciech Woźna-Szcześniak, Bożena Zbrzezny, Andrzej Serie: Prace IPI PAN ; 940 Rodzaj materiału: Tekst; Format: druk Język: angielski Język streszczenia: polski Szczegóły wydania: Warszawa : IPI PAN, 2001 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
		Checking reachability properties for timed automata via SAT / Bożena Woźna, Wojciech Penczek and Andrzej Zbrzezny. autor Woźna-Szcześniak, Bożena Zbrzezny, Andrzej Penczek, Wojciech Serie: Prace IPI PAN ; 949 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.
		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.
		Reaching the limits for bounded model checking / Bożena Woźna and Andrzej Zbrzezny. autor Woźna-Szcześniak, Bożena Zbrzezny, Andrzej Serie: Prace IPI PAN ; 958 Rodzaj materiału: Tekst; Format: druk Język: angielski Język streszczenia: polski Szczegóły wydania: Warsaw : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2003 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
		Towards verification of Java programs in VerICS / Maciej Orzechowski, Bożena Woźna and Tomasz Siwiak. autor Orzechowski, Maciej Woźna-Szcześniak, Bożena Siwiak, Tomasz Serie: Prace IPI PAN ; 997 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, 2006 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.