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
Монгол
שפה
כל השדות
כותר
מחבר
נושא
סימן המיקום
ISBN/ISSN
תג
מצא
מתקדם
CSP−based counter abstraction...
יצירת מראה מקום
שליחה במסרון
שלח את זה
הדפסה
יצוא רשומה
יצוא אל RefWorks
יצוא אל EndNoteWeb
יצוא אל EndNote
Permanent link
CSP−based counter abstraction for systems with node identifiers
Show other versions (1)
מידע ביבליוגרפי
Main Authors:
Mazur, T
,
Lowe, G
פורמט:
Journal article
יצא לאור:
2013
מלאי ספרים
תיאור
Other Versions (1)
פריטים דומים
תצוגת צוות
Showing
1 - 1
results of
1
Show all versions (2)
Search Result 1
CSP-based counter abstraction for systems with node identifiers
מאת
Mazur, T
,
Lowe, G
יצא לאור 2014
Journal article
Show all versions (2)
פריטים דומים
CSP-based counter abstraction for systems with node identifiers
מאת: Mazur, T, et al.
יצא לאור: (2014)
Counter abstraction in the CSP/FDR setting
מאת: Mazur, T, et al.
יצא לאור: (2009)
Counter Abstraction in the CSP/FDR setting
מאת: Mazur, T, et al.
יצא לאור: (2007)
Formal verification of not fully symmetric systems using counter abstraction
מאת: Mazur, T
יצא לאור: (2008)
Extending CSP with tests for availability
מאת: Lowe, G
יצא לאור: (2009)