A model checker for CSP-M

1. Verfasser:

Fontaine, Marc

Format:

Abschlussarbeit Buch Dissertation

Sprache:

Englisch

Veröffentlicht:

2011

Bestände:

• Magazin: d/e8909
• Magazin: d/e8909

Umfang:

243 S. : Ill.

Anmerkungen:

Düsseldorf, Univ., Diss., 2011

Bezugswerke:

Erscheint auch als: Online-Ausg. u.d.T: A model checker for CSP-M

Notationen:

datg695

Links:

Wird geladen...