JEDNOSTKA NAUKOWA KATEGORII A+

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

Tom 21 / 1988

Wolfgang Thomas Banach Center Publications 21 (1988), 403-417 DOI: 10.4064/-21-1-403-417

Autorzy

  • Wolfgang Thomas

Przeszukaj wydawnictwa IMPAN

Zbyt krótkie zapytanie. Wpisz co najmniej 4 znaki.

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek