Detail publikace

Temporal Logic, Real-Time Temporal Logic and Anticipative Systems

HRDLIČKA Milan a ŠVÉDA Miroslav. Temporal Logic, Real-Time Temporal Logic and Anticipative Systems. In: Proc. InterSymp. Baden-Baden: neznámá, 1998, s. 26-30. ISBN 0-921836-56-2.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Rok
1998
Strany
26-30
Sborník
Proc. InterSymp
ISBN
0-921836-56-2
Vydavatel
neznámá
Místo
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"
}
Nahoru