Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk - Tom Nr 990 (2006) - Biblioteka Nauki - Yadda

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

Nr 990

Czasopismo

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

Wydawca

Rocznik

2006

Identyfikatory

Zawartość wolumenu

Nr 990
- artykuł: Slicing of Timed Automata with Discrete Data (Janowska A., Janowski P.), s. 1-29

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ć.