Detail publikace

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

MATOUŠEK Petr, RÁB Jaroslav a VÝŠEK Pavel. Protocol Proving and Model-Checking: A First-Look Experience. In: IEEE ECBS - Joint Workshop on Formal Specifications of Computer-Based Systems. Edinburgh: neznámá, 2000, s. 71-75. ISBN 1-85-769121-0.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Matoušek Petr, Ing. (UIVT FEI VUT)
Ráb Jaroslav, Ing. (UIVT FEI VUT)
Výšek Pavel, Ing. (FEI VUT)
URL
Rok
2000
Strany
71-75
Sborník
IEEE ECBS - Joint Workshop on Formal Specifications of Computer-Based Systems
Konference
7th IEEE International Conference and Workshop ECBS'2000, Napier University, Edinburgh, Scotland, GB
ISBN
1-85-769121-0
Vydavatel
neznámá
Místo
Edinburgh, GB
BibTeX
@INPROCEEDINGS{FITPUB6140,
   author = "Petr Matou\v{s}ek and Jaroslav R\'{a}b and Pavel V\'{y}\v{s}ek",
   title = "Protocol Proving and Model-Checking: A First-Look Experience",
   pages = "71--75",
   booktitle = "IEEE ECBS - Joint Workshop on Formal Specifications of Computer-Based Systems",
   year = 2000,
   location = "Edinburgh, GB",
   ISBN = "1-85-769121-0",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6140"
}
Nahoru