Publication detail

Parametric Analysis of PGM protocol

MATOUŠEK, P. SIGHIREANU, M.

Original Title

Parametric Analysis of PGM protocol

Type

lecture

Language

English

Original Abstract

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

Keywords

parametric verification, protocol, modelling, symbolic model-checking

Authors

MATOUŠEK, P.; SIGHIREANU, M.

Released

22. 1. 2004

Location

Advance meeting, Paris

Pages count

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