Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk - Tom Nr 946 (2002) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Nr 946

Czasopismo

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

Wydawca

Instytut Podstaw Informatyki PAN

Rocznik

2002

Identyfikatory

Zawartość wolumenu

Nr 946
- artykuł: Bounded Model Cheking for Interpreted Systems (Penczek W., Lomuscio A.), s. 1-8

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