Publication Details

A Case Study: Modelling Alternating Bit Protocol by PNtalk

KŘENA Bohuslav. A Case Study: Modelling Alternating Bit Protocol by PNtalk. In: Proceedings of 36th International Conference MOSIS'02 Modelling and Simulation of Systems. Vol. I.. Ostrava, 2002, pp. 65-72. ISBN 80-85988-71-2.
Czech title
Případová studiie: Model ABP v PNtalku
Type
conference paper
Language
english
Authors
URL
Keywords

Alternating bit protocol, ABP, PNtalk, case study.

Published
2002
Pages
65-72
Proceedings
Proceedings of 36th International Conference MOSIS'02 Modelling and Simulation of Systems
Series
Vol. I.
Conference
36th Spring International Conference MOSIS 2002 Modelling and Simulation of Systems , Rožnov pod Radhoštěm, CZ
ISBN
80-85988-71-2
Place
Ostrava, CZ
BibTeX
@INPROCEEDINGS{FITPUB6906,
   author = "Bohuslav K\v{r}ena",
   title = "A Case Study: Modelling Alternating Bit Protocol by PNtalk",
   pages = "65--72",
   booktitle = "Proceedings of 36th International Conference MOSIS'02 Modelling and Simulation of Systems",
   series = "Vol. I.",
   year = 2002,
   location = "Ostrava, CZ",
   ISBN = "80-85988-71-2",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6906"
}
Back to top