Detail publikačního výsledku

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

Anglický název

Temporal Logic, Real-Time Temporal Logic and Anticipative Systems

Druh

Stať ve sborníku mimo WoS a Scopus

Klíčová slova

temporal logic, real-time

Klíčová slova v angličtině

temporal logic, real-time

Autoři

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

Vydáno

01.01.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"
}