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"
}
Back to top