New Methods of Concurrent Checking
Gössel, MichaelUniversität Potsdam Inst. Informatik, Germany
2008en
ABI
Abstract
No abstract available.
Identifiers
Citations and references
Cited by 20 references
Products
For developers
AkademBaseOpen API for the ecosystemNo abstract available.