Detail publikace

Parametric Analysis of PGM protocol

MATOUŠEK, P. SIGHIREANU, M.

Originální název

Parametric Analysis of PGM protocol

Typ

přednáška

Jazyk

angličtina

Originální abstrakt

The paper summarized the results of parametric analysis and verification of PGM protocol in ADVANCE project.

Klíčová slova

parametric verification, protocol, modelling, symbolic model-checking

Autoři

MATOUŠEK, P.; SIGHIREANU, M.

Vydáno

22. 1. 2004

Místo

Advance meeting, Paris

Strany počet

33

URL

http://www.fit.vutbr.cz/~matousp/doc/2004/PGM-Advance2004.pdf

BibTex

@misc{BUT64893,
  author="Petr {Matoušek} and Mihaela {Sighireanu}",
  title="Parametric Analysis of PGM protocol",
  year="2004",
  pages="33",
  address="Advance meeting, Paris",
  url="http://www.fit.vutbr.cz/~matousp/doc/2004/PGM-Advance2004.pdf",
  note="lecture"
}