Opis

• Tytuł:
  Model Checking Temporal Properties of Reaction Systems
• Twórca:
  Męski, Artur;
  Penczek, Wojciech;
  Rozenberg, Grzegorz
• Opis:
  Prace IPI PAN/ICS PAS Reports. Nr 1028, 27 s.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  zastrzeżone - dostęp nieograniczony ; autorzy i Instytut Podstaw Informatyki PAN
• Typ:
  raport
• Język:
  angielski
• Źródło:
  b 1426/1028
• Format:
  application/pdf
• Wydawca:
  Instytut Podstaw Informatyki PAN
• Relacja:
  Prace IPI PAN. Utworzone w 1970 r. Do numeru 278 (1977) pod tytułem Prace CO PAN (CC PAS Reports) wydawane przez Centrum Obliczeniowe PAN.
• Dostawca danych:
  Repozytorium Biblioteka Cyfrowa - Instytut Podstaw Informatyki PAN
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  teksty