Další formáty:
BibTeX
LaTeX
RIS
@book{407345, author = {Kučera, Antonín and Mayr, Richard}, address = {Amsterdam}, keywords = {infinite-state systems}, language = {eng}, location = {Amsterdam}, isbn = {0444513299}, publisher = {Elsevier}, title = {Infinity 2002. 4th International Workshop on Verification of Infinite-State Systems}, year = {2002} }
TY - BOOK ID - 407345 AU - Kučera, Antonín - Mayr, Richard PY - 2002 TI - Infinity 2002. 4th International Workshop on Verification of Infinite-State Systems VL - ENTCS, volume 68(6) PB - Elsevier CY - Amsterdam SN - 0444513299 KW - infinite-state systems N2 - Proceedings of the 4th International Workshop on Verification of Infinite-State Systems (Infinity 2002). ER -
KUČERA, Antonín a Richard MAYR. \textit{Infinity 2002. 4th International Workshop on Verification of Infinite-State Systems}. Amsterdam: Elsevier, 2002, 106 s. ENTCS, volume 68(6). ISBN~0444513299.
|