Publication Details

Formal description and verification of a class of high-level protocols with real time constraints

MATOUŠEK, P. Formal description and verification of a class of high-level protocols with real time constraints. concept of the thesis: unknown, 2000. p. 0-0.

Type

miscellaneous

Language

English

Authors

Matoušek Petr, doc. Ing., Ph.D., M.A. (DIFS)

URL

http://www.fee.vutbr.cz/~matousp/doc/2000/thesis-concept.html

Keywords

protocol specification, formal methods, distributed directory, verification, prover, model checker

Published

2000

Publisher

unknown

Place

concept of the thesis

BibTeX

@misc{BUT191829,
  author="Petr {Matoušek}",
  title="Formal description and verification of a class of high-level protocols with real time constraints",
  year="2000",
  publisher="unknown",
  address="concept of the thesis",
  url="http://www.fee.vutbr.cz/~matousp/doc/2000/thesis-concept.html",
  note="miscellaneous"
}