On the Use of Model Checking for the Bounded and Unbounded Verification of Nonblocking Concurrent Data Structures الإنجليزية (Q4153876)
أطروحة أكاديمية
| اللغة | التسمية | الوصف | أسماء أخرى |
|---|---|---|---|
| العربية | لم تُضف التسمية |
أطروحة أكاديمية |
|
| الإنجليزية | On the Use of Model Checking for the Bounded and Unbounded Verification of Nonblocking Concurrent Data Structures |
2013 doctoral thesis by David Friggens at Victoria University of Wellington |
بيانات
Wikidata item الإنجليزية
publication date الإنجليزية
publisher الإنجليزية
١ مراجع
Imported from Wikidata item الإنجليزية
author الإنجليزية
David Friggens الإنجليزية
object named as الإنجليزية
Friggens, David
١ مراجع
Imported from Wikidata item الإنجليزية
title الإنجليزية
On the Use of Model Checking for the Bounded and Unbounded Verification of Nonblocking Concurrent Data Structures (الإنجليزية)
١ مراجع
Imported from Wikidata item الإنجليزية
language of work or name الإنجليزية
instance of الإنجليزية
country of origin الإنجليزية
copyright status الإنجليزية
main subject الإنجليزية
Model checking الإنجليزية
object named as الإنجليزية
Model checking
١ مراجع
Imported from Wikidata item الإنجليزية