LNCS407

LNCS407
-J. Sifakis (Ed.): Automatic Verification Methods for Finite State Systems, Proceedings 1989, Springer-Verlag 1990

Acronyms. 2013.

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

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

  • LNCS407 — J. Sifakis (Ed.): Automatic Verification Methods for Finite State Systems, Proceedings 1989, Springer Verlag 1990 …   Acronyms von A bis Z

Share the article and excerpts

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