PL
|
EN
Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na
https://bibliotekanauki.pl
Szukaj
Przeglądaj
Pomoc
O nas
Preferencje
Polski
English
Język
Widoczny
[Schowaj]
Abstrakt
10
20
50
100
Liczba wyników
Tom - szczegóły
Adres strony
Kopiuj
Tytuł artykułu
Nr 958
Czasopismo
Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
Wydawca
Rocznik
2003
Identyfikatory
Zawartość wolumenu
Nr 958
artykuł:
Reaching the limits for Bounded Model Checking
(
Woźna B.
), s. 1-25
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ć.