LNCS1354

LNCS1354
-0. Burkan: Automatic Verification of Sequential Infinite-State Processes, Springer-Verlag 1997

Acronyms. 2013.

Игры ⚽ Нужна курсовая?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • LNCS1354 — 0. Burkan: Automatic Verification of Sequential Infinite State Processes, Springer Verlag 1997 …   Acronyms von A bis Z

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”