PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
1988 | 21 | 1 | 403-417
Tytuł artykułu

Safety- and liveness-properties in propositional temporal logic: characterizations and decidability

Autorzy
Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
Słowa kluczowe
Rocznik
Tom
21
Numer
1
Strony
403-417
Opis fizyczny
Daty
wydano
1988
Twórcy
  • Lehrstuhl für Informatik II, RWTH Aachen, Bundesrepublik Deutschland
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.zamlynska-837df50a-1b68-4b45-b81b-349c68429b2e
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ć.