Publication detail

Temporal Logic, Real-Time Temporal Logic and Anticipative Systems

HRDLIČKA, M. ŠVÉDA, M.

Original Title

Temporal Logic, Real-Time Temporal Logic and Anticipative Systems

Type

article in a collection out of WoS and Scopus

Language

English

Keywords

temporal logic, real-time

Authors

HRDLIČKA, M.; ŠVÉDA, M.

Released

1. 1. 1998

Publisher

unknown

Location

Baden-Baden

ISBN

0-921836-56-2

Book

Proc. InterSymp

Pages from

26

Pages to

30

Pages count

5

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