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