New Methods of Concurrent Checking
Gössel, MichaelUniversität Potsdam Inst. Informatik, Germany
2008en
ABI
Аннотация
Аннотация мавжуд эмас.
Идентификаторлар
Иқтибослар ва манбалар
2 та иқтибос0 та фойдаланилган манба
Маҳсулотлар
Ишлаб чиқувчилар учун
AkademBaseЭкотизим учун очиқ APIАннотация мавжуд эмас.