8 results on '"Raußen, Martin"'
Search Results
2. Detecting deadlocks in concurrent systems
3. Homology of spaces of directed paths on Euclidean cubical complexes
4. Rational cohomology and homotopy of spaces with circle action
5. Trace Spaces: An Efficient New Technique for State-Space Reduction
6. Detecting deadlocks in concurrent systems
7. Rational cohomology and homotopy of spaces with circle action
8. Smooth and locally linear g homotopy representations
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.