The spin model checker :primer and reference manual

Přeskočit na horní lištu Přeskočit na hlavičku Přeskočit na obsah Přeskočit na patičku

Publikace Přehled o publikaci

Přehled o publikaci

2004

The spin model checker :primer and reference manual

HOLZMANN, Gerald J.

Základní údaje

Originální název

The spin model checker :primer and reference manual

Autoři

HOLZMANN, Gerald J.

Vydání

Boston, xii, 596 s, 2004

Nakladatel

Addison-Wesley

Další údaje

ISBN

0-321-22862-6

Změněno: 3. 12. 2009 00:00, Záznam byl importován z knihovního systému.

HOLZMANN, Gerald J. The spin model checker :primer and reference manual. Boston: Addison-Wesley, 2004, xii, 596 s. ISBN 0-321-22862-6.

@article{,
   author = {Holzmann, Gerald J.},
   address = {Boston},
   location = {Boston},
   isbn = {0-321-22862-6},
   publisher = {Addison-Wesley},
   title = {The spin model checker :primer and reference manual},
   year = {2004}
}

TY  - JOUR
AU  - Holzmann, Gerald J.
PY  - 2004
TI  - The spin model checker :primer and reference manual
PB  - Addison-Wesley
CY  - Boston
SN  - 0321228626
ER  -

HOLZMANN, Gerald J. \textit{The spin model checker :primer and reference manual}. Boston: Addison-Wesley, 2004, xii, 596 s. ISBN~0-321-22862-6.