Publication Details

Temporal Logic, Real-Time Temporal Logic and Anticipative Systems

HRDLIČKA Milan and ŠVÉDA Miroslav. Temporal Logic, Real-Time Temporal Logic and Anticipative Systems. In: Proc. InterSymp. Baden-Baden: unknown, 1998, pp. 26-30. ISBN 0-921836-56-2.

Type

conference paper

Language

english

Authors

Hrdlička Milan, Ing. (DCSE FEECS BUT)
Švéda Miroslav, Doc. Ing., CSc. (DCSE FEECS BUT)

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

Place

Baden-Baden, DE

BibTeX

@INPROCEEDINGS{FITPUB5936,
   author = "Milan Hrdli\v{c}ka and Miroslav \v{S}v\'{e}da",
   title = "Temporal Logic, Real-Time Temporal Logic and Anticipative Systems",
   pages = "26--30",
   booktitle = "Proc. InterSymp",
   year = 1998,
   location = "Baden-Baden, DE",
   ISBN = "0-921836-56-2",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/5936"
}