Detail publikace

Temporal Logic, Real-Time Temporal Logic and Anticipative Systems

HRDLIČKA, M. ŠVÉDA, M.

Originální název

Temporal Logic, Real-Time Temporal Logic and Anticipative Systems

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

Klíčová slova

temporal logic, real-time

Autoři

HRDLIČKA, M.; ŠVÉDA, M.

Vydáno

1. 1. 1998

Nakladatel

unknown

Místo

Baden-Baden

ISBN

0-921836-56-2

Kniha

Proc. InterSymp

Strany od

26

Strany do

30

Strany počet

5

BibTex

@inproceedings{BUT192011,
  author="Milan {Hrdlička} and Miroslav {Švéda}",
  title="Temporal Logic, Real-Time Temporal Logic and Anticipative Systems",
  booktitle="Proc. InterSymp",
  year="1998",
  pages="26--30",
  publisher="unknown",
  address="Baden-Baden",
  isbn="0-921836-56-2"
}