Detail publikace

Temporal Logic, Real-Time Temporal Logic and Anticipative Systems

HRDLIČKA, M.; ŠVÉDA, M. Temporal Logic, Real-Time Temporal Logic and Anticipative Systems. Proc. InterSymp. Baden-Baden: unknown, 1998. p. 26-30. ISBN: 0-921836-56-2.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Hrdlička Milan, Ing.
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Klíčová slova

temporal logic, real-time

Rok
1998
Strany
26–30
Sborník
Proc. InterSymp
ISBN
0-921836-56-2
Vydavatel
unknown
Místo
Baden-Baden
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"
}
Nahoru