LNCS558

LNCS558
-J. Hooman: Specification and Compositional Verification of Real-Time Systems, Springer-Verlag 1991

Acronyms. 2013.

Игры ⚽ Нужно сделать НИР?

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

  • LNCS558 — J. Hooman: Specification and Compositional Verification of Real Time Systems, Springer Verlag 1991 …   Acronyms von A bis Z

Share the article and excerpts

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