Skip to content

VuFind

- English
- Deutsch
- Español
- Français
- Italiano
- 日本語
- Nederlands
- Português
- Português (Brasil)
- 中文(简体)
- 中文（繁體）
- Türkçe
- עברית
- Gaeilge
- Cymraeg
- Ελληνικά
- Català
- Euskara
- Русский
- Čeština
- Suomi
- Svenska
- polski
- Dansk
- slovenščina
- اللغة العربية
- বাংলা
- Galego
- Tiếng Việt
- Hrvatski
- हिंदी
- Հայերէն
- Українська
- Sámegiella
- Монгол

מתקדם

Towards Symmetry Aware Refinem...

יצירת מראה מקום
שליחה במסרון
שלח את זה
הדפסה
יצוא רשומה
Permanent link

Towards Symmetry Aware Refinement Checking (Extended Abstract)

Towards Symmetry Aware Refinement Checking (Extended Abstract)

מידע ביבליוגרפי
Main Authors:	Moffat, N, Goldsmith, M, Roscoe, B
פורמט:	Conference item
יצא לאור:	2007

מלאי ספרים
תיאור
פריטים דומים
תצוגת צוות

פריטים דומים

A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking
מאת: Moffat, N, et al.
יצא לאור: (2008)
A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking
מאת: Moffat, N, et al.
יצא לאור: (2008)
A representative function approach to symmetry exploitation for CSP refinement checking
מאת: Moffat, N, et al.
יצא לאור: (2008)
A representative function approach to symmetry exploitation for CSP refinement checking
מאת: Moffat, N, et al.
יצא לאור: (2008)
Policy Refinement Checking (extended abstract)
מאת: Goldsmith, S
יצא לאור: (2009)

אפשרויות חיפוש

חיפושים קודמים
חיפוש מתקדם

מצא עוד

דפדוף בקטלוג
דפדוף בסדר אלפבתי
Explore Channels
שמורות לקורס
פריטים חדשים

צריכים עזרה?

טיפים לחיפוש
לשאול ספרן/ית
שאלות נפוצות