Publication Details

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.

Type

conference paper

Language

English

Authors

Hrdlička Milan, Ing.
Švéda Miroslav, prof. Ing., CSc. (UTKO)

Keywords

temporal logic, real-time

Annotation

Popisuje základy temporální logiky akcí a její doplnění o reálný čas. Doplněno jednoduchými příklady.

Published

1998

Pages

26–30

Proceedings

Proc. InterSymp

ISBN

0-921836-56-2

Publisher

unknown

Place

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