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

Křena Bohuslav, Ing., Ph.D. (DITS FIT BUT)

URL

http://www.fit.vutbr.cz/~krena/prace/mosis02.ps PS

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