Publication detail

Protocol Proving and Model-Checking: A First-Look Experience

MATOUŠEK, P. RÁB, J. VÝŠEK, P.

Original Title

Protocol Proving and Model-Checking: A First-Look Experience

Type

article in a collection out of WoS and Scopus

Language

English

Keywords

protocol, verification, model checking, formal methods

Authors

MATOUŠEK, P.; RÁB, J.; VÝŠEK, P.

Released

1. 1. 2000

Publisher

unknown

Location

Edinburgh

ISBN

1-85-769121-0

Book

IEEE ECBS - Joint Workshop on Formal Specifications of Computer-Based Systems

Pages from

71

Pages to

75

Pages count

5

URL

BibTex

@inproceedings{BUT193885,
  author="Petr {Matoušek} and Jaroslav {Ráb} and Pavel {Výšek}",
  title="Protocol Proving and Model-Checking: A First-Look Experience",
  booktitle="IEEE ECBS - Joint Workshop on Formal Specifications of Computer-Based Systems",
  year="2000",
  pages="71--75",
  publisher="unknown",
  address="Edinburgh",
  isbn="1-85-769121-0",
  url="http://www.fit.vutbr.cz/~matousp/doc/2000/edin00-slides.ps"
}