by
Ramakrishnan, C. R. editor.
Format:
Electronic Resources
Excerpt:
Verifying Fault Tolerance of Distributed Protocols -- Tools – I -- The Real-Time Maude Tool -- Z3: An
by
Golomb, Solomon W. editor.
Format:
Electronic Resources
Excerpt:
Trace Codes over Galois Rings -- On Partial Correlations of Various Z 4 Sequence Families -- Nonlinear
View Other Search Results
by
Margaria, Tiziana. editor.
Format:
Electronic Resources
Excerpt:
Authorization Requirements into the Functional Model of a System Using Z Promotion -- Simple Gedanken
Limit Search Results
Narrowed by: