by
Wirsing, Martin. editor.
Format:
Electronic Resources
Excerpt:
software-intensive systems. The remainder of the book consists of 15 invited papers of the working group participants
by
Fraigniaud, Pierre. editor.
Format:
Electronic Resources
Excerpt:
Self-organization -- Timing Games and Shared Memory -- A Lightweight Group Mutual k-Exclusion Algorithm Using
View Other Search Results
by
Johnson, Michael. editor.
Format:
Electronic Resources
Excerpt:
Validation Tool for UML+OCL Static Class Diagrams -- A Computational Group Theoretic Symmetry Reduction
by
Eymann, Torsten. editor.
Format:
Electronic Resources
Excerpt:
onotheragent-relatedeventsinGermanyinthepast,andorganized by the GI German Special Interest Group on Distributed Arti?cial Intelligence, the
by
Fitzgerald, John. editor.
Format:
Electronic Resources
Excerpt:
Processes, Data and Time -- Automatic Symmetry Detection for Model Checking Using Computational Group Theory
Limit Search Results
Narrowed by: