Detail publikačního výsledku

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

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

Originální název

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

Anglický název

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

Druh

Stať ve sborníku mimo WoS a Scopus

Klíčová slova

protocol, verification, model checking, formal methods

Klíčová slova v angličtině

protocol, verification, model checking, formal methods

Autoři

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

Vydáno

01.01.2000

Nakladatel

unknown

Místo

Edinburgh

ISBN

1-85-769121-0

Kniha

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

Strany od

71

Strany do

75

Strany počet

5

URL

http://www.fit.vutbr.cz/~matousp/doc/2000/edin00-slides.ps

Plný text v Digitální knihovně

http://hdl.handle.net/

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