Další formáty:
BibTeX
LaTeX
RIS
@book{405363, author = {Brim, Luboš and Grumberg, Orna}, address = {Nizozemsko}, keywords = {model checking; parallel computing}, language = {eng}, location = {Nizozemsko}, isbn = {0444512918}, publisher = {Elsevier}, title = {PDMC 2002 - Parallel and Distributed Model Checking. Proceedings.}, year = {2002} }
TY - BOOK ID - 405363 AU - Brim, Luboš - Grumberg, Orna PY - 2002 TI - PDMC 2002 - Parallel and Distributed Model Checking. Proceedings. VL - ENTCS, Vol. 68, No. 4 PB - Elsevier CY - Nizozemsko SN - 0444512918 KW - model checking KW - parallel computing N2 - Proceedings of 1st International Workshop on Parallel and Distributed Model Checking (PDMC 2002) held in Brno, Czech Republic, August 19, 2002. ER -
BRIM, Luboš a Orna GRUMBERG. \textit{PDMC 2002 - Parallel and Distributed Model Checking. Proceedings.}. Nizozemsko: Elsevier, 2002, 165 s. ENTCS, Vol. 68, No. 4. ISBN~0444512918.
|