LNCS1032


LNCS1032
-P. Godefroid: Partial-Order Methode for the Verification of Concurrent Systems, Springer-Verlag 1996

Acronyms. 2013.

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

  • LNCS1032 — P. Godefroid: Partial Order Methode for the Verification of Concurrent Systems, Springer Verlag 1996 …   Acronyms von A bis Z

Share the article and excerpts

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

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.