Publication detail

Parametric Analysis of PGM protocol - report

MATOUŠEK, P. SIGHIREANU, M.

Original Title

Parametric Analysis of PGM protocol - report

Type

lecture

Language

English

Original Abstract

The paper summarized the results of parametric analysis andverification 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 - report",
  year="2004",
  pages="33",
  address="Advance meeting, Paris",
  url="http://www.fit.vutbr.cz/~matousp/doc/2004/PGM-Advance2004.pdf",
  note="lecture"
}