Description

• Title:
  Model Checking Temporal Properties of Reaction Systems
• Creator:
  Męski, Artur;
  Penczek, Wojciech;
  Rozenberg, Grzegorz
• Description:
  Prace IPI PAN/ICS PAS Reports. Nr 1028, 27 s.
• Object availability:
  free access
• Rights:
  zastrzeżone - dostęp nieograniczony ; autorzy i Instytut Podstaw Informatyki PAN
• Type:
  raport
• Language:
  English
• Source:
  b 1426/1028
• Format:
  application/pdf
• Publisher:
  Instytut Podstaw Informatyki PAN
• Relation:
  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.
• Data provider:
  Repozytorium Biblioteka Cyfrowa - Instytut Podstaw Informatyki PAN
• Can I use it?:
  seek permission
• Type:
  text