New Methods of Concurrent Checking
Gössel, MichaelUniversität Potsdam Inst. Informatik, Germany
2008en
ABI
Аннотация
Аннотация отсутствует.
Идентификаторы
Цитирования и источники
Цитирований: 2Использованных источников: 0
Продукты
Для разработчиков
AkademBaseОткрытый API экосистемыАннотация отсутствует.