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